4037 search results - page 640 / 808 » Routing without ordering |
194
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
140
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
126
click to vote
PODS
1999
ACM
15 years 8 months ago
1999
ACM
Query optimizers rely on fast, high-quality estimates of result sizes in order to select between various join plans. Selfjoin sizes of relations provide bounds on the join size of...
171
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
149
click to vote
BROADNETS
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents Random Asynchronous Wakeup (RAW), a power saving technique for sensor networks that reduces energy consumption without significantly affecting the latency or c...