QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.

Ganesh Gopalakrishnan Yue Yang Hemanthkumar Sivaraj

Published in: CAV (2004)

Keyphrases

memory space
databases
distributed shared memory
memory usage
main memory
memory requirements
software tools
memory management
real time
knowledge base
software engineering
computing power
neural network
resource consumption
fingerprint verification
execution model
verification method
functional verification