Towards the Automatic Verification of Atomic Memory Protocols.

Jean-Paul Bodeveix Mamoun Filali

Published in: Parallel Process. Lett. (1997)

Keyphrases

main memory
memory usage
memory space
memory requirements
computational power
memory size
application level
data sets
information systems
knowledge base
metadata
decision trees
digital libraries
limited memory
memory capacity