采用直接执行技术,实现Ada并发结构的一种设想
-
1雷义伟,贲可荣.基于补偿事务的业务流程异常处理建模研究[J].计算机科学,2015,42(7):91-94.
-
2胡乃静,赵亮,罗永强.基于资源限制流图的工作流并发结构的正确性验证[J].小型微型计算机系统,2003,24(7):1289-1292. 被引量：1
-
3朱彭遐,戚肖宁,周锋.具有并发结构的CMOS数字乘法器设计[J].电子学报,1990,18(3):26-31. 被引量：1
-
4肖驰.基于UML活动图模型的测试用例设计[J].现代计算机,2009,15(7):184-186. 被引量：2
-
5吴静莉,李素娟.面向对象类测试的精简EFSM转换算法[J].电脑知识与技术,2012,8(6X):4490-4491. 被引量：1
-
6王志坚,金春.基于UML活动图生成系统测试场景的方法[J].计算机系统应用,2010,19(4):185-188.
-
7祖仲林,李勃,陈启美.基于CUDA的快速LBP纹理背景建模算法[J].武汉理工大学学报（交通科学与工程版）,2011,35(1):91-94. 被引量：2
-
8张功源,李必信,邱栋,吉顺慧.一种基于并发的BPEL控制流模型的分析及验证[J].计算机研究与发展,2010,47(S1):249-254.
-
9李刚,金蓓弘.基于线程的并发控制技术研究与应用[J].计算机工程,2007,33(14):43-45. 被引量：16
-
10胡国定,王永革.面向对象并发程序设计的基础理论[J].计算机科学,1993,20(4):1-6.
;
