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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
具体反例生成与图形化显示系统 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 11, 页码: 51-57
信贤卫

 
User-Adaptive Sketch-Based 3-D CAD Model Retrieval [期刊论文]
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013-01-01, 卷号: 10, 期号: 3, 页码: 783-795
Liu, Yong-Jin; Luo, Xi; Joneja, Ajay; Ma, Cui-Xia; Fu, Xiao-Lan; Song, Dawei

 
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
  |  
 
基于面删除的四面体网格简化新算法 [期刊论文]
电子学报, 2007-01-01, 卷号: 35, 期号: 12, 页码: 2343-2346
王选明; 吴菊英; 吴恩华
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
model-based testing of concurrent programs with predicate sequencing constraints [会议论文]
5th International Conference on Quality Software (QSIC 2005), Melbourne, AUSTRALIA, SEP 19-20,
Wu Peng; Lin Huimin
  |  
 
a near-optimal optimization algorithm for link assignment in wireless ad-hoc networks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 1, 页码: 89-94
Liu HC; Zhao BH
  |  
 
a near-optimal optimization algorithm for link assignment in wireless ad-hoc networks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 1, 页码: 89-94
Liu HC; Zhao BH
  |  
 
model-based testing of concurrent programs with predicate sequencing constraints [期刊论文]
World Scientific Publishing Co. Pte Ltd, 2006-01-01, 卷号: 16, 期号: 5, 页码: 727-746
Wu Peng; Lin Huimin
  |  
 
火电机组分布式控制系统仿真新思路 [期刊论文]
电力系统自动化, 2005-01-01, 卷号: 29, 期号: 10, 页码: 73-75
高叔开; 纪连恩; 高磊
  |  
 

1 2 next

 

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