中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
指令级的变量容错恢复 [期刊论文]
计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 43-45
张锐; 彭启民; 赵军锁
  |  
 
VarBIFT:指令级的变量冗余容错检测技术 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 10, 页码: 2163-2165,2183
张显明; 张锐; 彭启民; 赵军锁
  |  
 
an automatic testing approach for compiler based on metamorphic testing technique [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei
  |  
 
automated test program generation for an industrial optimizing compiler [会议论文]
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui
  |  
 
一种编译优化测试用例自动生成方法的设计与实现 [期刊论文]
小型微型计算机系统, 2009-01-01, 卷号: 30, 期号: 1, 页码: 13-18
曾伟明; 薛云志; 赵琛; 贺也平
  |  
 
一种基于过程图模型的编译优化测试程序自动生成方法 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 9, 页码: 1567-1577
陶秋铭; 赵琛; 王永吉
  |  
 
automated phase-ordering of loop optimizations based on polyhedron model [会议论文]
10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27,
Xue Yunzhi; Zhao Chen
  |  
 
design and implementation of java just-in-time compiler [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000-01-01, 卷号: 15, 期号: 6, 页码: 584-590
Ding YX; Mei J; Cheung H

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace