Efficient algorithms for verifying memory consistency.

Chaiyasit Manovit Sudheendra Hangal

Published in: SPAA (2005)

Keyphrases

memory requirements
memory usage
memory space
computational power
limited memory
main memory
low memory
data mining
case study
database systems
data structure
relational databases
model checking
associative memory