The Complexity of Verifying Memory Coherence and Consistency.

Jason F. Cantin Mikko H. Lipasti James E. Smith

Published in: IEEE Trans. Parallel Distributed Syst. (2005)

Keyphrases

memory requirements
worst case
computational complexity
low memory
artificial intelligence
decision problems
space complexity
computing power
information systems
expert systems
information processing
main memory
memory usage