So many states, so little time: Verifying memory coherence in the Cray X1

Dennis Abts, Steve Scott, David J. Lilja

Research output: Chapter in Book/Report/Conference proceedingConference contribution

51 Scopus citations

Fingerprint

Dive into the research topics of 'So many states, so little time: Verifying memory coherence in the Cray X1'. Together they form a unique fingerprint.

Computer Science

Keyphrases