DBLP Record 'conf/micro/ShachamWSFRH08'

BibTeX

@inproceedings{DBLP:conf/micro/ShachamWSFRH08,
  author    = {Ofer Shacham and
               Megan Wachs and
               Alex Solomatnikov and
               Amin Firoozshahian and
               Stephen Richardson and
               Mark Horowitz},
  title     = {Verification of chip multiprocessor memory systems using
               a relaxed scoreboard},
  booktitle = {MICRO},
  year      = {2008},
  pages     = {294-305},
  ee        = {http://dx.doi.org/10.1109/MICRO.2008.4771799},
  crossref  = {DBLP:conf/micro/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/micro/2008,
  title     = {41st Annual IEEE/ACM International Symposium on Microarchitecture
               (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy},
  booktitle = {MICRO},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}