A systematic methodology to develop resilient cache coherence protocols

Konstantinos Aisopos, Li-Shiuan Peh. A systematic methodology to develop resilient cache coherence protocols. In Carlo Galuzzi, Luigi Carro, Andreas Moshovos, Milos Prvulovic, editors, 44rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2011, 3-7 December 2011, Porto Alegre, Brazil. pages 47-58, ACM, 2011. [doi]

@inproceedings{AisoposP11,
  title = {A systematic methodology to develop resilient cache coherence protocols},
  author = {Konstantinos Aisopos and Li-Shiuan Peh},
  year = {2011},
  doi = {10.1145/2155620.2155627},
  url = {http://doi.acm.org/10.1145/2155620.2155627},
  researchr = {https://researchr.org/publication/AisoposP11},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {44rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2011, 3-7 December 2011, Porto Alegre, Brazil},
  editor = {Carlo Galuzzi and Luigi Carro and Andreas Moshovos and Milos Prvulovic},
  publisher = {ACM},
  isbn = {978-1-4503-1053-6},
}