DEADLOCK

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection被引量：1
《Journal of Computer Science & Technology》2020年第2期395-411,共17页Hong-Mei Wei Jian Gao Peng Qing Kang Yu Yan-Fei Fang Ming-Lu Li 
This work was supported by the National Key Research and Development Program of China under Grant No. 2017YFB0202003。
The message passing interface (MPI) has become a de facto standard for programming models of highperformance computing, but its rich and flexible interface semantics makes the program easy to generate communication de...
关键词：high-performance computing message PASSING interface(MPI) COMMUNICATION DEADLOCK DEADLOCK detection AND⊕OR model 
Structure-Based Deadlock Checking of Asynchronous Circuits
《Journal of Computer Science & Technology》2011年第6期1031-1040,共10页任洪广 王志英 Doug Edwards 
supported by the National Natural Science Foundation of China under Grant Nos.60873015,61070037,and 61103016
It is important to verify the absence of deadlocks in asynchronous circuits. Much previous work relies on a reachability analysis of the circuits＇ states, with the use of binary decision diagrams （BDDs） or Petri ne...
关键词：asynchronous pipeline DATA-DRIVEN DEADLOCK VERIFICATION 
Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes
《Journal of Computer Science & Technology》2005年第6期822-830,共9页周继鹏 
广东省自然科学基金，教育部留学回国人员科研启动基金
In wormhole meshes, a reliable routing is supposed to be deadlock-free and fault-tolerant. Many routing algorithms are able to tolerate a large number of faults enclosed by rectangular blocks or special convex, none o...
关键词：disjoint fault-connected region deadlock freedom fault-tolerant wormhole routing virtual channel 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部