This paper presents a method and implementation techniques to generate control flow graph from source program.
本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。
The GENERIC trees are converted into GIMPLE form and a subsequent control flow graph to support SSA-based optimizations.
generic树被转换成GIMPLE形式，进而转换成控制流图，以支持基于SSA的优化。
This paper introduces a parallelization compiler, and in the course of its development control flow graph is visualized.
介绍了并行化编译器，在研制并行化编译器过程中，实现了一种开放式软件研制环境。
In this paper, based on the DTS_CPP framework, we add the global type analysis, and improve the control flow graph about the exception path analysis.
本文在DTS_CPP框架基础上，增加了全局类型分析，并完善了控制流图中关于异常路径的分析。
For each detected deadlock, backtracking is used to record the related paths in the control flow graph, and static branch prediction is employed to quantify its severity.
对于每个检测到的死锁，通过回溯记录控制流图中相关的路径，并利用静态分支预测量化其严重程度。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
The paper introduces a method of establishing model using mark flow graph in sequence control system. Then the control is implemented by step-by-step instruments in PLC.
本文介绍了一种标识流图在顺序控制系统中建模方法，然后利用可编程序控制器中的步进指令实现控制。
Computerized central control systems typically provide this information, usually on a "flow graph" screen that displays nightly flow and run times.
电脑中控系统可以代表的提供这些数据信息，通常是在流量表的窗口里展示每晚流量以及运行的时间。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
In accordance with the characteristics and coverage requirement of path coverage test as well as the graph theory, this paper presents a new program control flow diagram model.
针对路径测试的要求及其特点，结合图论的概念，提出了程序控制流程图的一种表示方法。
In accordance with the characteristics of path coverage test and the graph theory, this paper presents a new program control flow diagram model.
针对路径测试的特点，结合图论的知识，提出了控制流程图的一种表示方法。
The strong time constraints are the time constraints when the delay time of Control Data Flow Graph (CDFG)is not satisfied.
强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。
The strong time constraints are the time constraints when the delay time of Control Data Flow Graph (CDFG)is not satisfied.
强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。
应用推荐