5623 search results - page 989 / 1125 » Incremental Mechanism Design |
253
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
218
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Synchronous transactional logging is the central mechanism for ensuring data persistency and recoverability in database systems. Unfortunately, magnetic disks are ill-suited for t...
114
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
163
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...
158
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
It has been an important research topic since 1992 to maximize stability region in constrained queueing systems, which includes the study of scheduling over wireless ad hoc networ...