Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.

Albert Meixner, Daniel J. Sorin

Browse the full DSN paper archive.