DEADLOCK

作品数：30被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李磊蒋昌俊谭庆平樊驰更多>>
相关机构：国防科学技术大学武汉理工大学中国科学院研究生院清华大学更多>>
相关期刊：《Journal of Computer Science & Technology》《Beijing Review》《武汉理工大学学报》《China International Studies》更多>>
相关基金：国家自然科学基金中国博士后科学基金福建省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=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 
Modeling and analyzing mixed communications in service-oriented trustworthy software被引量：5
《Science China(Information Sciences)》2012年第12期2738-2756,共19页JIANG JianMin ZHANG Shi GONG Ping HONG Zhong YUE HouGuang 
supported by National Science Foundation of China(Grant No.61175123);a Key Project of Fujian Provincial Universities-Information Technology Research Based on Mathematics(Grant No.1240104- 201007);Natural Science Foundation of Fujian Province(Grant No.2012J05112);Shandong Provincial Natural Science Foundation of China(Grant No.Y2008G33)
Communication is an essential part of service^oriented trustworthy software. The actual communica- tion mechanism among services adopts asynchronous communications and supports broadcast communications. However, in or...
关键词：communication service composition message dependency DEADLOCK 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部