2555 search results - page 228 / 511 » Quantifiers and Working Memory |
148
click to vote
ASPLOS
2012
ACM
14 years 23 days ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
184
click to vote
HPCA
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
155
click to vote
SSD
2009
Springer
15 years 11 months ago
2009
Springer
With the exponential growth of moving objects data to the Gigabyte range, it has become critical to develop effective techniques for indexing, updating, and querying these massive ...
144
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
152
click to vote
PPOPP
2006
ACM
15 years 11 months ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...