Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory.

Bo Zhang Binoy Ravindran

Published in: IPDPS (2010)

Keyphrases

dynamic analysis
static analysis
reverse engineering
distributed systems
model checking
commodity hardware
database
peer to peer
transactional memory
computer networks
parallel execution
end to end
parallel architectures
speculative execution