Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures | IEEE Journals & Magazine | IEEE Xplore