Verification of a lazy cache coherence protocol against a weak memory model
Verification of a lazy cache coherence protocol against a weak memory model
复制标题
针对弱内存模型验证惰性缓存一致性协议
DOI：
10.23919/fmcad.2017.8102242
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Banks C
中科院分区：
文献类型：
--
作者：
Banks C
登录
查看更多内容
DOI：
10.4230/lipics.concur.2016.5
发表时间：
2017-01
期刊：
--
影响因子：
--
作者：
P. Abdulla;M. Atig;A. Bouajjani;Ngo Tuan Phong
通讯作者：
P. Abdulla;M. Atig;A. Bouajjani;Ngo Tuan Phong
通过参数组合细化验证令牌一致性实现的安全性
DOI：
10.1007/978-3-540-30579-8_9
发表时间：
2005
期刊：
J. ACM
影响因子：
--
作者：
S. Burckhardt;R. Alur;Milo M. K. Martin
通讯作者：
Milo M. K. Martin
TSO-CC：TSO 的一致性定向缓存一致性
DOI：
10.1109/hpca.2014.6835927
发表时间：
2014
期刊：
2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)
影响因子：
--
作者：
M. Elver;V. Nagarajan
通讯作者：
V. Nagarajan
CCICheck：使用 μhb 图验证相干一致性接口
DOI：
10.1145/2830772.2830782
发表时间：
2015
期刊：
2015 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
影响因子：
--
作者：
Yatin A. Manerkar;Daniel Lustig;Michael Pellauer;M. Martonosi
通讯作者：
M. Martonosi
重新审视硬件缓存一致性的复杂性和一些含义
DOI：
10.1145/2663345
发表时间：
2014
期刊：
ACM Transactions on Architecture and Code Optimization (TACO)
影响因子：
--
作者：
Rakesh Komuravelli;S. Adve;Ching
通讯作者：
Ching