退出
我的积分:
中文文献批量获取
外文文献批量获取
田祖伟; 赵克佳; 汪小飞;
国防科学技术大学计算机学院;
湖南省第一师范学校;
湖南长沙410002;
IA-64体系结构; 指令级并行; GCC; 谓词执行; IF转换;
机译:基于谓词执行的If转换算法
机译:基于委派的CPA转换从CPA到CCA安全谓词加密
机译:基于GCC的机载软件软件测试技术研究
机译:系统编译以执行谓词。
机译:基于谓词的语义索引:置换是在语义空间中编码谓词的一种手段
机译:基于子计算的转换谓词抽象
机译:基于代理的执行监控:GCCs-ITEm联合会的结果和GCCs-JWaRs联合会的计划活动
机译:将谓词执行转换为静态推测的方法
机译:将谓词执行转换为静态推测的通用有效方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。