PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing
PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing
复制标题
PerpLE：提高内存一致性测试的速度和有效性
DOI：
10.1109/micro50266.2020.00037
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Martonosi, Margaret
中科院分区：
文献类型：
--
作者：
Melissaris, Themis;Markakis, Markos;Shaw, Kelly;Martonosi, Margaret
登录
查看更多内容
PipeProof：微架构规范的自动内存一致性证明
DOI：
--
发表时间：
2018
期刊：
Micro
影响因子：
--
作者：
Yatin A. Manerkar;Daniel Lustig;M. Martonosi;Aarti Gupta
通讯作者：
Aarti Gupta
TriCheck：软件、硬件和 ISA 三部分的内存模型验证
DOI：
10.1145/3037697.3037719
发表时间：
2016
期刊：
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Caroline Trippel;Yatin A. Manerkar;Daniel Lustig;Michael Pellauer;M. Martonosi
通讯作者：
M. Martonosi
Alpha 架构参考手册
DOI：
10.1016/c2009-0-27261-8
发表时间：
1992
期刊：
Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.
影响因子：
--
作者：
R. Sims
通讯作者：
R. Sims
盔甲
DOI：
10.1215/15476715-4353644
发表时间：
2018
期刊：
Labor: Studies in Working-Class History of the Americas
影响因子：
--
作者：
C. Thompson
通讯作者：
C. Thompson
PipeCheck：指定和验证内存一致性模型的微架构实施
DOI：
10.1109/micro.2014.38
发表时间：
2014
期刊：
2014 47th Annual IEEE/ACM International Symposium on Microarchitecture
影响因子：
--
作者：
Daniel Lustig;Michael Pellauer;M. Martonosi
通讯作者：
M. Martonosi