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

Search Results

Help

Item hits: (Results 61-70 of 380)

Filters        
Items/Page:    Sort:
基于时变纹元的真实感草地枯萎模拟 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 9, 页码: 2224-2236
焦少慧; 杨刚; 吴恩华
  |  
 
基于复用计算的大纹理实时合成 [期刊论文]
计算机学报, 2010-01-01, 卷号: 33, 期号: 4, 页码: 768-775
陈昕; 王文成
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵; 焦莉
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
基于有色Petri网的Web服务组合建模与分析 [期刊论文]
苏州大学学报(工科版), 2010-01-01, 卷号: 30, 期号: 4, 页码: 14-19
张侃; 朱稷涵; 张广泉
  |  
 
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
基于桶内动态融合的透明现象的高效绘制 [期刊论文]
计算机辅助设计与图形学学报, 2010-01-01, 卷号: 22, 期号: 3, 页码: 382-387
刘芳; 黄梦成; 刘学慧; 吴恩华
  |  
 
基于Gabor小波的渐进式着色算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 6, 页码: 1327-1329,1334
陈顺斌
  |  
 
rate monotonic scheduling re-analysed [期刊论文]
INFORMATION PROCESSING LETTERS, 2010-01-01, 卷号: 110, 期号: 6, 页码: 226-231
Xu Qiwen; Zhan Naijun
  |  
 
parametric search: three new applications [期刊论文]
FRONTIERS OF MATHEMATICS IN CHINA, 2010-01-01, 卷号: 5, 期号: 1, 页码: 65-73
Katoh Naoki; Wang Wencheng; Xu Yinfeng; Zhu Binhai

 

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

 

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