强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。
The strong time constraints are the time constraints when the delay time of Control Data Flow Graph (CDFG)is not satisfied.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
最后,在行为级,本文提出了一种基于最小能量的算子调度算法,对折叠循环结构的控制数据流图进行算子调度。
At last, at the behavioral level, this dissertation proposes a minimal-energy based operator scheduling approach to perform operator scheduling for loop folding CDFG structure.
这些输入和输出可以是纯控制流链接(类似于上一部分中的模型),也可以是类似于图5所示的数据流链接。
The inputs and outputs can be pure control-flow links as in the models in the previous section, or can be data flow links as shown in Figure 5.
在图1显示的示例流程中,有一个fork和一个join,其中有悬空控制流(白色小箭头)和数据流(灰色小箭头)输入和输出。
Figure 1 shows an example process with dangling control flow (small white arrows) and data flow (small gray arrows) inputs and outputs in a fork and a join.
分析一个二进制代码的通常方式有以下几个阶段:反汇编,过程抽象,控制流程图生成,数据流分析和签名验证。
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.
在对文档进行分类的基础上,定义了一种双角色的基于角色的访问控制模型,并给出了此模型的数据流图及部分以XACML形式表示的控制策略。
Based on the classifying of the protected documents, a DR-RBAC model is defined, and its data-flow diagram and two examples of PolicySets expressed by XACML are given out.
分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法。
The data flow testing of class is analysed, and the data definition-use pair is explanated.
分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法。
The data flow testing of class is analysed, and the data definition-use pair is explanated.
应用推荐