So many states, so little time: verifying memory coherence in the Cray X1
Keyword(s):
2004 ◽
Vol 32
(2)
◽
pp. 102
◽