1458 search results - page 192 / 292 » Monads for incremental computing |
120
click to vote
NSDI
2007
15 years 6 months ago
2007
Abstract – We present Wiser, an Internet routing protocol that enables ISPs to jointly control routing in a way that produces efficient end-to-end paths even when they act in th...
134
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
127
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Variability of process parameters makes prediction of digital circuit timing characteristics an important and challenging problem in modern chip design. Recently, statistical stat...
125
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
143
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...