305 search results - page 34 / 61 » From Sets to Bits in Coq |
82
Voted
COCO
2007
Springer
15 years 5 months ago
2007
Springer
We examine the communication required for generating random variables remotely. One party Alice will be given a distribution D, and she has to send a message to Bob, who is then r...
DCC
2008
IEEE
15 years 10 months ago
2008
IEEE
We discuss the use of lattice vector quantizers in conjunction with a quadtree-based sorting algorithm for the compression of multidimensional data sets, as encountered, for examp...
88
Voted
SENSYS
2009
ACM
15 years 5 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
94
Voted
JSA
2006
14 years 11 months ago
2006
It is often possible to greatly improve the performance of a hardware system via the use of predictive (speculative) techniques. For example, the performance of out-of-order micro...
122
click to vote
SIGCOMM
2006
ACM
15 years 4 months ago
2006
ACM
The success of Skype has inspired a generation of peer-topeer-based solutions for satisfactory real-time multimedia services over the Internet. However, fundamental questions, suc...