A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems.

Alexander Linden Pierre Wolper

Published in: SPIN (2011)

Keyphrases

management system
memory usage
memory size
random access
computer systems
automated verification
xml documents
complex systems
model checking
building blocks
distributed shared memory
computational power
real time
case based reasoning
digital libraries
artificial intelligence
real world