The complexity of verifying memory coherence.

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

Published in: SPAA (2003)

Keyphrases

memory requirements
worst case
multiscale
computational complexity
decision problems
complexity measures
database
databases
computer vision
information systems
case study
model checking
space complexity
computing power