So many states, so little time: Verifying memory coherence in the Cray X1. (2003)

by D Abts, S Scott, D J Lilja
Venue:In 17th Int’l Parallel and Distributed Processing Symp.