Dynamic race detection for C++11
Dynamic race detection for C++11
复制标题
C 11 的动态竞争检测
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Lidbury C
中科院分区：
文献类型：
--
作者：
Lidbury C
登录
查看更多内容
DOI：
10.1145/2048066.2048119
发表时间：
2011-10
期刊：
--
影响因子：
--
作者：
G. Richards;A. Gal;Brendan Eich;J. Vitek
通讯作者：
G. Richards;A. Gal;Brendan Eich;J. Vitek
C 并发数学化：后 Rapperswil 模型
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Mark Batty;Scott Owens;Susmit Sarkar;Peter Sewell;Tjark Weber
通讯作者：
Tjark Weber
彻底修改 C11 和 OpenCL 中的 SC 原子
DOI：
10.1145/2837614.2837637
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Batty M
通讯作者：
Batty M
同步 C/C 和 POWER
DOI：
10.1145/2254064.2254102
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Sarkar S
通讯作者：
Sarkar S
用于检测破坏性种族的对抗性记忆
DOI：
--
发表时间：
2010
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
C. Flanagan;Stephen N. Freund
通讯作者：
Stephen N. Freund