» The Complexity of Verifying Memory Coherence and Consistency

| Sorted by Date | Classified by Faculty |

Jason F. Cantin, Mikko H. Lipasti, and James E. Smith. The Complexity of Verifying Memory Coherence and Consistency. IEEE Trans. Parallel Distributed Syst., 16(7):663-671, 2005.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

 @article{DBLP:journals/tpds/CantinLS05,
   author    = {Jason F. Cantin and
                Mikko H. Lipasti and
                James E. Smith},
   title     = {The Complexity of Verifying Memory Coherence and Consistency},
   journal   = {{IEEE} Trans. Parallel Distributed Syst.},
   volume    = {16},
   number    = {7},
   pages     = {663--671},
   year      = {2005},
   url       = {https://doi.org/10.1109/TPDS.2005.86},
   doi       = {10.1109/TPDS.2005.86},
   timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
   biburl    = {https://dblp.org/rec/journals/tpds/CantinLS05.bib},
   bibsource = {dblp computer science bibliography, https://dblp.org}
 }

---

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