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

Search Results

Help

Item hits: (Results 21-30 of 380)

Filters        
Items/Page:    Sort:
构建度量区时序逻辑的时间自动机 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575
王勤思
  |  
 
光栅化时的线性纹理插值 [期刊论文]
计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 6, 页码: 999-1005
韩红雷; 王文成
  |  
 
大规模场景流体模拟的耦合算法 [期刊论文]
计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 6, 页码: 1028-1033
武小龙; 吴恩华; 张辉
  |  
 
大规模稀疏线性方程组的GMRES-GPU快速求解算法 [期刊论文]
计算机辅助设计与图形学学报, 2011-01-01, 卷号: 23, 期号: 4, 页码: 553-560
柳有权; 尹康学; 吴恩华
  |  
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
单遍数据读取的GPU上的多片元效果绘制 [期刊论文]
计算机学报, 2011-01-01, 卷号: 34, 期号: 3, 页码: 3473-3481
谢国富; 王文成
  |  
 
基于改进Elman网络模型的软件可靠性预测 [期刊论文]
通信学报, 2011-01-01, 卷号: 32, 期号: 4, 页码: 86-93
程绪超; 陈新宇; 郭平
  |  
 
基于GPU的实时线绘制及水墨仿真研究 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 3, 页码: 1079-1083,1107
卢健; 刘学慧
  |  
 
基于MST的优化技术:监督式编译 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 1, 页码: 179-182,201
郑丽丽; 陈海明
  |  
 
面向方面程序的简化动态依赖图切片方法 [期刊论文]
计算机科学与探索, 2011-01-01, 期号: 3, 页码: 229-237
张广泉; 黄静; 章晓芳; 刘长林
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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