1) Complementary Predication
互补谓词执行
2) complementary predicate
互补谓词
1.
Based on binary decision diagram(BDD) predicate analysis system,this paper proposes the method to optimize control structures in programs utilizing complementary predicate.
基于二进制决策图(BDD)的谓词分析系统,提出了一种利用互补谓词机制对控制结构进行优化的方法;对传统着色图寄存器分配算法进行改进,给出了一种利用互补谓词机制建立统一简化干涉图的新算法,减少了代码溢出;利用互补谓词的特性指导指令调度,使之更加有效利用资源,并对目标体系结构进行了改进以支持指令调度。
3) Predicated execution
谓词执行
1.
Several basic blocks could be merged into a hyperblock in predicated execution so that instructions could be scheduled on a larger scope and more instruction level parallelism could be extracted.
谓词执行技术能够将多个基本块合并为一个超块 ,扩大指令调度范围 ,开发更多的指令级并行 。
2.
IA-64 is a kind of Explicitly Parallel Instruction Computing (EPIC) architectures, supporting full predicated execution, which provides new means and opportu.
谓词执行可以有效地删除指令流中的分支指令,从而有助于开发更多的ILP。
4) reciprocal enforcement
相互执行
1.
At present, there is no arrangement between the HKSAR and the Mainland on issues relating to reciprocal enforcement of judgments(REJ).
至今为止,在内地与香港民商事判决的承认与执行方面,尚无相互执行判决的安排。
5) complementary morpheme
互补词素
6) one-way inter-supplement
单行互补
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条