Bugaroo: Exposing Memory Model Bugs in Many-Core Systems
Bugaroo: Exposing Memory Model Bugs in Many-Core Systems
复制标题
Bugaroo：暴露多核系统中的内存模型错误
DOI：
10.1109/issre.2018.00028
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Muzahid, Abdullah
中科院分区：
文献类型：
--
作者：
Islam, Mohammad Majharul;Muzahid, Abdullah
登录
查看更多内容
DOI：
10.1007/978-3-540-70545-1_12
发表时间：
2008-07
期刊：
--
影响因子：
--
作者：
S. Burckhardt;M. Musuvathi
通讯作者：
S. Burckhardt;M. Musuvathi
DOI：
10.1145/860575.860792
发表时间：
2003-07
期刊：
--
影响因子：
--
作者：
A. Lomuscio;Franco Raimondi;M. Sergot
通讯作者：
A. Lomuscio;Franco Raimondi;M. Sergot
SPARC 架构手册：版本 9
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
D. Weaver;Tom Gremond
通讯作者：
Tom Gremond
用于检测破坏性种族的对抗性记忆
DOI：
--
发表时间：
2010
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
C. Flanagan;Stephen N. Freund
通讯作者：
Stephen N. Freund
对宽松记忆模型的顺序一致性进行健全且完整的监控
DOI：
--
发表时间：
2011
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Jacob Burnim;Koushik Sen;C. Stergiou
通讯作者：
C. Stergiou