At a high level it’ll provide simplified discovery, application, update and AIX configuration-verification properties across multiple systems.
简单地说，它将跨多个系统提供简化的发现、应用、更新和AIX 配置确认属性。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
It is important to transform machine code to high level language program in program analysis, verification, maintenance and reformation.
将计算机可执行的机器代码转换为高级语言程序，这对于分析、理解、测试、验证、移植和改造程序非常重要。
The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
为了便于自动验证高层综合过程，给出了验证自动机模型。
The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
为了便于自动验证高层综合过程，给出了验证自动机模型。
应用推荐