Memory Ordering: A Value-Based Approach.

Harold W. Cain, Mikko H. Lipasti

Browse the full ISCA paper archive.