CSDL Home H HPCA 1999 2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)
Subscribe
Orlando, Florida
Jan. 9, 1999 to Jan. 12, 1999
ISBN: 0-7695-0004-8
pp: 270
CITATION
A.E. Condon,
M.D. Hill,
M. Plakal,
D.J. Sorin,
"Using Lamport Clocks to Reason About Relaxed Memory Models", HPCA, 1999, 2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA),
2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA) 1999, pp. 270, doi:10.1109/HPCA.1999.744379