设计并实现了支持谓词执行的编译框架。
A compiler framework for Predicated Execution is designed and implemented.
提出了适于谓词执行的寄存器分配算法。
A new register allocation algorithm for predicated code is proposed.
授权管理是评估人员谓词(授权规则)和基于这些人员谓词执行授权的中心实例。
Authorization management is the central instance that evaluates staff verbs (authorization rules) and performs authorization based on them.
应用推荐