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]
Abstract is missing.