121 search results - page 3 / 25 » Efficient algorithms for verifying memory consistency |
IJCSA
2008
13 years 6 months ago
2008
: Skyline Queries have recently received a lot of attention due to their intuitive query capabilities. Following the concept of Pareto optimality all `best' database objects a...
VLDB
2007
ACM
14 years 6 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
USENIX
1990
13 years 7 months ago
1990
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...
ACSD
1998
IEEE
13 years 10 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
ACTA
2006
13 years 6 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...