[IEEE 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - Cambridge (2014.12.13-2014.12.17)] 2014 47th Annual IEEE/ACM International Symposium on Microarchitecture - PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models
Lustig, Daniel, Pellauer, Michael, Martonosi, MargaretYear:
2014
Language:
english
DOI:
10.1109/MICRO.2014.38
File:
PDF, 866 KB
english, 2014