Capturing register and control dependence in memory consistency models with applications to the Itanium architecture (2006)

by L Higham, L Jackson, J Kawash
Venue:Department of Computer, The University of Calgary