132 search results - page 20 / 27 » Local Reasoning about Data Update |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
VLDB
2008
ACM
14 years 7 months ago
2008
ACM
Large highly distributed data sets are poorly supported by current query technologies. Applications such as endsystembased network management are characterized by data stored on l...
ICS
1999
Tsinghua U.
13 years 11 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
SIROCCO
2004
13 years 8 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
EAGC
2004
Springer
14 years 26 days ago
2004
Springer
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...