4325 search results - page 272 / 865 » Incremental computation with names |
177
click to vote
ASM
2008
ASM
15 years 8 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...
168
click to vote
DAC
2005
ACM
15 years 8 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...
178
click to vote
CONCUR
2008
Springer
15 years 8 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...
175
click to vote
DCOSS
2008
Springer
15 years 8 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...
190
click to vote
ALGORITHMICA
2008
15 years 6 months ago
2008
The notion of -kernel was introduced by Agarwal et al. [5] to set up a unified framework for computing various extent measures of a point set P approximately. Roughly speaking, a ...