ATOMICITY

作品数：9被引量：9H指数：2
导出分析报告
相关作者：陈明更多>>
相关机构：上海水产大学更多>>
相关期刊：《China Communications》《Science China(Information Sciences)》《Journal of Systems Engineering and Electronics》《Wuhan University Journal of Natural Sciences》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Science China（Information Sciences）x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Surveying concurrency bug detectors based on types of detected bugs被引量：2
《Science China(Information Sciences)》2017年第3期1-27,共27页Zhendong WU Kai LU Xiaoping WANG 
supported by National High Technology Research and Development Program of China(863 Program)(Grant Nos.2012AA01A301,2012AA010901);Program for New Century Excellent Talents in University and National Natural Science Foundation of China(Grant Nos.61402486,61402492,61272142);Moreover,it is a part of Innovation Fund Sponsor Project of Excellent Postgraduate Student(Grant No.B130608)
Concurrency bugs widely exist in concurrent programs and have caused severe failures in the real world. Researchers have made significant progress in detecting concurrency bugs, which improves software reliability. In...
关键词：concurrency bug detection data race atomicity violation order violation DEADLOCK 
An efficient method for detecting concurrency errors in object-oriented programs
《Science China(Information Sciences)》2012年第12期2774-2784,共11页HE YanXiang WU Wei CHEN Yong 
supported in part by National Natural Science Foundation of China(Grant Nos.90818018,9111800)
Multicore and multi-threaded processors have become the norm for modern processors. Accordingly, concurrent programs have become more and more prevalent despite being difficult to write and understand. Although errors...
关键词：concurrency error dynamic test data race atomicity violations test case generation 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部