-
题名并行ATPG算法理论与原型系统设计技术研究
- 1
-
-
作者
刘蓬侠
-
机构
国防科技大学计算机学院
-
出处
《计算机工程与科学》
CSCD
2003年第5期109-109,共1页
-
文摘
目前,制约并行ATPG算法实用化的原因是算法的可移植性。因此,我们首选提出了基于消息传递系统-并行虚拟机的并行ATPG原型系统框架,并根据它构建了一个实验系统HappyTest。由于PVM良好的可移植性。
-
关键词
并行ATPG算法
消息传递系统
原型系统
设计
并行算法
FS算法
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名线性阵列上的奇偶归拆排序并行算法的MPI实现
被引量：1
- 2
-
-
作者
祁金才
张锦雄
黄毅
李剑
-
机构
广西大学计算机与电子信息学院
-
出处
《广西大学学报（自然科学版）》
CAS
CSCD
2005年第S2期88-89,共2页
-
基金
广西大学第二批创新学分项目
-
文摘
主要介绍了线性阵列上的奇偶归拆排序的并行算法思想,给出了算法基于网络工作站的MPI实现,并 对算法进行了讨论和分析．
-
关键词
线性阵列
并行排序
奇偶归拆
消息传递系统
-
Keywords
linear array
parallel sortion
odd-even merge splitting
MPI
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于心跳故障检测器的无阻塞弱原子提交问题解决方案
- 3
-
-
作者
蔡强
赵致琢
倪子伟
-
机构
厦门大学软件学院
厦门大学计算机科学系
-
出处
《计算机应用与软件》
CSCD
北大核心
2005年第10期124-126,共3页
-
基金
福建省自然科学基金项目(A0310007)
-
文摘
在有故障发生的情况下,使用不可靠的故障检测器无法解决无阻塞原子提交问题。本文减弱无阻塞原子提交问题的非平凡性条件,得到一个较弱的问题,再用一个扩展的心跳故障检测器在包含进程故障和链路故障的异步消息传递系统中解决弱化后的问题。
-
关键词
心跳故障检测器
无阻塞原子提交
合意
可归约
故障检测器
问题解决
原子
阻塞
心跳
消息传递系统
-
Keywords
Heartbeat failure detector Non-blocking atomic commitment Consensus Reducible
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
U463.65
[机械工程—车辆工程]
-
