1) concurrent program flow graph
并发程序流图
2) concurrent program dependence graph
并发程序依赖图
3) concurrent program
并发程序
1.
A Granularity Analysis Approach to Concurrent Programs Execution;
并发程序执行的一种粒度分析方法
2.
Model checking Java concurrent programs
对Java并发程序进行模型检测
3.
This paper attempts to generate test cases for concurrent programs based on event graph.
通过事件图来产生用于并发程序的测试用例。
4) concurrent programs
并发程序
1.
Based on tIRG,dependences in concurrent programs are analyzed globally and a new dependence graph called MSDG,which vertex is a 2-tuple composed of program state and statement,is constructed.
针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG)。
2.
Multithreaded concurrent programs are finding wide application, which brings more detrimental data race errors.
多线程并发程序的广泛使用带来了更多的数据竞争错误·传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误·因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示·检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果
3.
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
5) Graphical parallel program development
图形化并行程序开发
6) process concurrency
流程并发
补充资料：并发
由正在患的病引起另一种病：并发症。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条