退出
我的积分:
中文文献批量获取
外文文献批量获取
王凤芹; 刘春林; 胡定磊;
国防科技大学计算机学院,长沙,410073;
谓词分析; 谓词优化; 编译优化; 二进制决策图;
机译:关于“基于BDD的相控系统可靠性分析算法”中PMS BDD生成的评论
机译:基于谓词和参数之间位置关系的日语谓词参数结构分析
机译:基于谓词与论点的位置关系的日语谓词论证结构分析
机译:基于BDD的基于BDD的遗传算法,具有面积功率折衷的多级逻辑优化
机译:基于BDD表征优化模型检查。
机译:优化BDD涂层的显微组织和耐蚀性以延长Ti / BDD涂层电极的使用寿命
机译:优化基于BDD的验证分析变量依赖性
机译:基于BDD特征的优化模型检测
机译:通过基于路径概要信息的成本效益数据流分析来利用推测和谓词来优化代码
机译:通过在基于路径的查询运算符中指定基于路径的谓词评估来进行查询优化
机译:通过在基于路径的查询运算符中指定基于路径的谓词评估来优化查询
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。