2555 search results - page 309 / 511 » Quantifiers and Working Memory |
154
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
In data stream applications, data arrive continuously and can only be scanned once as the query processor has very limited memory (relative to the size of the stream) to work with...
143
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
Aggressive hardware-based and software-based prefetch algorithms for hiding memory access latencies were proposed to bridge the gap of the expanding speed disparity between proces...
139
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
170
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
128
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...