HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 数据竞争检测论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于二型模糊逻辑的多线程数据竞争检测方法研究第135-143页
关键词: 二型模糊逻辑  隐马尔科夫模型  数据竞争检测  
2017年第12期 《计算机科学》
多线程程序数据竞争检测和验证方法研究综述!第123-126页
关键词: 多线程  数据竞争检测  数据竞争验证  
2017年第03期 《智能计算机与应用》
静态检测中断驱动程序的数据竞争第2290-2299页
关键词: 微控制器  中断驱动程序  数据竞争检测  过程间数据流分析  副作用分析  
2011年第12期 《计算机研究与发展》
BPEL流程数据竞争和死锁检测算法研究第1056-1062页
关键词: 业务流程执行语言  bpel片段图  数据竞争检测  死锁检测  约束求解  
2008年第06期 《西安电子科技大学学报》
Java程序的对象单赋值分析第1498-1502页
关键词: 对象单赋值  数据竞争检测  确定性回放  线程局部对象  编译  
2012年第07期 《小型微型计算机系统》
期刊导航