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

Dennis Abts, Steve Scott, David J. Lilja. So Many States, So Little Time: Verifying Memory Coherence in the Cray X1. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. pages 11, IEEE Computer Society, 2003. [doi]

Authors

Dennis Abts

This author has not been identified. Look up 'Dennis Abts' in Google

Steve Scott

This author has not been identified. Look up 'Steve Scott' in Google

David J. Lilja

This author has not been identified. It may be one of the following persons: Look up 'David J. Lilja' in Google