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

Search Results

Help

Item hits: (Results 21-30 of 161)

Filters        
Items/Page:    Sort:
全程一致访问控制体系研究 [期刊论文]
北京工业大学学报, 2010-01-01, 卷号: 36, 期号: 5, 页码: 698-702
韩培胜; 赵勇; 李瑜
  |  
 
一种基于粒子的牛顿流体与粘弹性流体统一模拟方法 [期刊论文]
计算机学报, 2010-01-01, 卷号: 33, 期号: 7, 页码: 1286-1294
常元章; 柳有权; 鲍凯; 朱鉴; 吴恩华
  |  
 
一种基于UPPAAL的Web服务组合模型检测方法 [期刊论文]
计算机科学, 2010-01-01, 卷号: 37, 期号: 11, 页码: 122-125
何亚丽; 戎玫; 张广泉
  |  
 
气泡的生成和多种流体的模拟 [期刊论文]
计算机辅助设计与图形学学报, 2010-01-01, 卷号: 22, 期号: 9, 页码: 1463-1467
武小龙; 吴恩华
  |  
 
深度剥离与GPU结合的近似软影算法 [期刊论文]
中国图象图形学报A, 2010-01-01, 卷号: 15, 期号: 9, 页码: 1391-1397
孙明彦; 吕伟伟; 刘学慧; 吴恩华
  |  
 
可互溶液体的真实感模拟 [期刊论文]
计算机辅助设计与图形学学报, 2010-01-01, 卷号: 22, 期号: 10, 页码: 1721-1727
鲍凯; 吴恩华; 武小龙; 张辉
  |  
 
卡通化图像和视频的毛发纹理生成与替换 [期刊论文]
计算机辅助设计与图形学学报, 2010-01-01, 卷号: 22, 期号: 7, 页码: 1166-1173
焦少慧; 陈昕; 杨刚; 吴恩华
  |  
 
面向方面软件开发的形式化方法与编译器技术分析研究 [期刊论文]
苏州大学学报(工科版), 2010-01-01, 卷号: 30, 期号: 4, 页码: 40829
张谷铭; 张广泉
  |  
 
基于最大不动点模型的描述逻辑系统FLε的有穷基 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 9, 页码: 1514-1521
唐素勤; 蔡自兴; 王驹; 蒋运承
  |  
 
循环不变式开发技术研究 [期刊论文]
计算机工程与科学, 2010-01-01, 卷号: 32, 期号: 9, 页码: 84-88,94
万松松; 薛锦云; 谢武平
  |  
 

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