» Using Lamport Clocks to Reason about Relaxed Memory Models

| Sorted by Date | Classified by Faculty |

Anne Condon, Mark D. Hill, Manoj Plakal, and Daniel J. Sorin. Using Lamport Clocks to Reason about Relaxed Memory Models. In Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 270-278, IEEE Computer Society, 1999.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @inproceedings{DBLP:conf/hpca/CondonHPS99,
   author    = {Anne Condon and
                Mark D. Hill and
                Manoj Plakal and
                Daniel J. Sorin},
   title     = {Using Lamport Clocks to Reason about Relaxed Memory Models},
   booktitle = {Proceedings of the Fifth International Symposium on High-Performance
                Computer Architecture, Orlando, FL, USA, January 9-12, 1999},
   pages     = {270--278},
   publisher = {{IEEE} Computer Society},
   year      = {1999},
   url       = {https://doi.org/10.1109/HPCA.1999.744379},
   doi       = {10.1109/HPCA.1999.744379},
   timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
   biburl    = {https://dblp.org/rec/conf/hpca/CondonHPS99.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

Generated by bib.pl (written by Patrick Riley ) on Mon Sep 27, 2021 15:47:04 time=1207019082