DMCA

The Complexity of Verifying Memory Coherence (2003)

by Jason F. Cantin
Venue:In Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures (SPAA
Citations:16 - 3 self