CORC  > 大连理工大学
多线程并行程序数据竞争静态检测方法
陈俊; 周宽久; 贾敏
刊名计算机工程与设计
2017
卷号38页码:1264-1272
关键词多线程程序 数据竞争 静态检测 XML映射模型 XQuery查询
ISSN号1000-7024
URL标识查看原文
WOS记录号[db:dc_identifier_wosid]
内容类型期刊论文
URI标识http://www.corc.org.cn/handle/1471x/3279129
专题大连理工大学
作者单位1.贵州师范大学 教育科学学院,贵州 贵阳,550001
2.大连理工大学 软件工程学院,辽宁 大连,116024
3.北京电子科技职业学院 经济管理学院,北京,100029
推荐引用方式
GB/T 7714
陈俊,周宽久,贾敏. 多线程并行程序数据竞争静态检测方法[J]. 计算机工程与设计,2017,38:1264-1272.
APA 陈俊,周宽久,&贾敏.(2017).多线程并行程序数据竞争静态检测方法.计算机工程与设计,38,1264-1272.
MLA 陈俊,et al."多线程并行程序数据竞争静态检测方法".计算机工程与设计 38(2017):1264-1272.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace