中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 武成岗; 马湘宁; 崔慧敏 Adobe PDF(249Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/02/05
	An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者: Lu, W; Yang, XT; Lv, T; Li, XW 收藏 \| 浏览/下载：42/0 \| 提交时间：2019/12/16 design verification simulation coverage metrics observability vector generation
	无权访问的条目期刊论文作者: Wei Lu(鲁巍); Xiu-Tao Yang（杨修涛）; Tao Lv（吕涛）; Xiao-Wei Li（李晓维） Adobe PDF(701Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/11/03
	An overview of the Open Research Compiler 期刊论文 LANGUAGES AND COMPILERS FOR HIGH PERFORMANCE COMPUTING, 2005, 卷号: 3602, 页码: 17-31 作者: Wu, CY; Lian, RQ; Zhang, JC; Ju, R; Chan, S; Liu, LX; Feng, XB; Zhang, ZQ 收藏 \| 浏览/下载：39/0 \| 提交时间：2019/12/16

中国科学院计算技术研究所机构知识库