QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Compiler testing: a systematic literature analysis 期刊论文 Frontiers of Computer Science, 2020, 卷号: 14 作者:  Tang, Yixuan;  Ren, Zhilei;  Kong, Weiqiang;  Jiang, He 收藏  |  浏览/下载：32/0  |  提交时间：2019/11/29 BEEC: An event generator for simulating the B-c meson production at an e(+)e(-) collider 期刊论文 COMPUTER PHYSICS COMMUNICATIONS, 2013, 卷号: 184, 期号: 12, 页码: 2848-2855 Yang, Z; Wu, XG; Wang, XY 收藏  |  浏览/下载：34/0  |  提交时间：2014/04/25 TOP-QUARK DECAYS  HADRONIC PRODUCTION  HEAVY QUARKONIUM  PHYSICS PERFORMANCE  UPGRADED VERSION  EXCITED-STATES  BCVEGPY  LHC  HADROPRODUCTION  UNCERTAINTIES   Optimization of software data prefetching in the IA-64 architecture 期刊论文 2010, 2010 Li Wenlong; Lin Juanmin; Tang Zhizhong 收藏  |  浏览/下载：3/0 基于pCTL的循环优化测试用例自动生成方法 期刊论文 小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭 收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23 pCTL  循环优化  测试用例生成  覆盖率pCTL  loop optimization  test case generation  coverage test   Gdel语言控制机制的研究与实现 期刊论文 2009 高伟; 赵致琢; 李慧琪; 昌杰 收藏  |  浏览/下载：2/0  |  提交时间：2016/05/17 Gdel语言  控制机制  延迟  剪枝  Gdel language  control facility  delay  pruning   一种基于过程图模型的编译优化测试程序自动生成方法 期刊论文 计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577 陶秋铭; 赵琛; 王永吉 收藏  |  浏览/下载：11/0  |  提交时间：2010/08/17 测试自动化  编译器测试  测试用例生成  高级编译优化  数据依赖  过程图  test automation  compiler testing  test case generation  advanced compiler optimizations  data dependence  process graph   一种编译优化测试用例自动生成方法的设计与实现 期刊论文 小型微型计算机系统, 2009, 卷号: 30, 期号: 1, 页码: 13-18 曾伟明; 薛云志; 赵琛; 贺也平 收藏  |  浏览/下载：8/0  |  提交时间：2010/08/23 编译器测试  覆盖率  编译优化  时序逻辑  测试用例 compiler test  coverage test  compiler optimization  temporal logic  test case