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

Search Results

Help

Item hits: (Results 71-80 of 161)

Filters        
Items/Page:    Sort:
测试顺序选择策略研究 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 4, 页码: 781-783
李都
  |  
 
基于搜索的面向路径字符串测试数据自动生成方法 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 5, 页码: 671-677
赵瑞莲
  |  
 
基于SCC空性检测中状态空间的缩减方法 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 6, 页码: 979-988
晏荣杰; 张文亮; 唐稚松
  |  
 
一种基于离散时间自动机的LTL性质检测工具 [期刊论文]
计算机仿真, 2008-01-01, 期号: 4, 页码: 80-83
张文亮; 彭云全
  |  
 
基于形状特征与变形保持的动态模型简化 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 9, 页码: 1163-1170
张世学; 吴恩华
  |  
 
布料上污渍效果的真实感模拟 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 9, 页码: 1110-1116
刘世光; 陈国军; 杨鹏; 张加万; 孙济洲
  |  
 
基于视平面上特征计算的视点选择 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 9, 页码: 1097-1103
杨利明; 王文成; 吴恩华
  |  
 
基于非线性卷积的可控图像类推和自类推技术 [期刊论文]
计算机辅助设计与图形学学报, 2008-01-01, 卷号: 20, 期号: 3, 页码: 332-336
古元亭; 吴恩华
  |  
 
精确的程序静态分析 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 9, 页码: 1549-1553
张健
  |  
 
语义网的一阶逻辑推理技术支持 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 12, 页码: 3091-3099
徐贵红; 张健
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 next

 

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