So Many States, So Little Time: Verifying Memory Coherence in the Cray X1.

Dennis Abts Steve Scott David J. Lilja

Published in: IPDPS (2003)

Keyphrases

state information
memory requirements
memory usage
memory size
memory space
random access
model checking
state variables
databases
distributed memory
high performance computing
computational power
computing power
computer systems
markov chain
information systems
data mining
database