Dynamic Verification of Sequential Consistency.

Albert Meixner, Daniel J. Sorin

Browse the full ISCA paper archive.