The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
复制标题
追求精度：静态分析中数据竞争检测的分层方法
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
C. Artho
中科院分区：
文献类型：
--
作者：
J. Mund;R. Huuck;A. Fehnker;C. Artho
登录
查看更多内容
DOI：
10.1109/aswec.2001.948499
发表时间：
2001-08
期刊：
Proceedings 2001 Australian Software Engineering Conference
影响因子：
--
作者：
Cyrille Artho;Armin Biere
通讯作者：
Cyrille Artho;Armin Biere
DOI：
10.1007/978-3-642-39611-3_8
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Ricardo J. Dias;Vasco Pessanha;João M. Lourenço
通讯作者：
João M. Lourenço
使用属性驱动修剪进行动态模型检查以检测竞争条件
DOI：
10.1007/978-3-540-88387-6_11
发表时间：
2008
期刊：
Respiration physiology
影响因子：
--
作者：
Chao Wang;Yu Yang;Aarti Gupta;G. Gopalakrishnan
通讯作者：
G. Gopalakrishnan
免费并行：并行程序的高效且最佳的位向量分析
DOI：
--
发表时间：
1996
期刊：
TOPL
影响因子：
--
作者：
J. Knoop;Bernhard Steffen;J. Vollmer
通讯作者：
J. Vollmer