计算机工程2008，Vol.34Issue(17)：274-275,278,3.
MPI同步通信顺序模型死锁静态检测算法
Static Detection Algorithm of Deadlock in MPI Synchronization Communication Sequential Model
廖名学 1何晓新 1范植华1
作者信息
- 1. 中国科学院软件研究所,北京,100080
- 折叠
摘要
关键词
MPI程序/算法/死锁/静态分析分类
自科综合引用本文复制引用
廖名学,何晓新,范植华..MPI同步通信顺序模型死锁静态检测算法[J].计算机工程,2008,34(17):274-275,278,3.
