386 search results - page 47 / 78 » A Consistent Semantics of Self-adjusting Computation |
124
Voted
REX
1991
15 years 5 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
106
click to vote
COMPUTING
2006
15 years 1 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
158
Voted
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we design and evaluate an energy efficient data retrieval architecture for continuous aggregate queries in wireless sensor networks. We show how the modification of...
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
Prior work on computing queries from materialized views has focused on views defined by expressions consisting of selection, projection, and inner joins, with an optional aggrega...
124
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...