中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 期刊论文

view all items

(Results 1-20 of 377)
Help
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
View/Download:5/0
 
一种基于模型结合的错误定位方法 [期刊论文]
中国科技论文, 2012, 卷号: 7, 期号: 1, 页码: 19-27
唐启锋; 许蕾; 钱巨; 陈林; 张震宇
  |  View/Download:3/1
 
基于限界模型检查的Web服务行为失配检测 [期刊论文]
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
  |  View/Download:6/1
 
基于自适应分割的动态面光源图像空间绘制 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 2, 页码: 624-629
刘洋; 刘学慧; 吴恩华
  |  View/Download:6/1
 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  View/Download:10/2
 
两层架构的可信身份服务平台研究与设计 [期刊论文]
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 1-4,8
朱玉涛; 王雅哲; 武传坤
  |  View/Download:5/1
 
基于自适应光子发射的渐进式光子映射 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 1, 页码: 219-223
李睿; 陈彦云; 刘学慧
  |  View/Download:7/1
 
基于约束的软件失效域识别与特征分析 [期刊论文]
软件学报, 2012, 卷号: 23, 期号: 7, 页码: 1688-1701
孙昌爱
  |  View/Download:3/1
 
基于纹理规则性分析的图像填补方法 [期刊论文]
计算机辅助设计与图形学学报, 2012, 卷号: 24, 期号: 2, 页码: 183-190
郝川艳; 陈昕; 吴恩华
  |  View/Download:7/2
 
基于MST的优化技术:监督式编译 [期刊论文]
计算机工程与设计, 2011, 期号: 1, 页码: 179-182,201
郑丽丽; 陈海明
  |  View/Download:4/1
 
example-based microfacet synthesis for appearance modeling of thin transparent materials [期刊论文]
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2011, 卷号: 23, 期号: 7, 页码: 1099-1105
Dai Qiang; Wu Enhua
  |  View/Download:2/0
 
简捷的主纹理提取方法 [期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 1, 页码: 46-53
华淼; 陈昕; 王文成
  |  View/Download:7/1
 
构建度量区时序逻辑的时间自动机 [期刊论文]
计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575
王勤思
  |  View/Download:6/1
 
基于改进Elman网络模型的软件可靠性预测 [期刊论文]
通信学报, 2011, 卷号: 32, 期号: 4, 页码: 86-93
程绪超; 陈新宇; 郭平
  |  View/Download:2/1
 
基于桶型深度剥离算法的屏幕空间环境遮挡 [期刊论文]
计算机工程与设计, 2011, 期号: 2, 页码: 587-591
郝晓光; 刘学慧; 黄梦成; 刘芳; 吴恩华
  |  View/Download:9/2
 
基于GPU的实时线绘制及水墨仿真研究 [期刊论文]
计算机工程与设计, 2011, 期号: 3, 页码: 1079-1083,1107
卢健; 刘学慧
  |  View/Download:8/3
 
使用多层深度采样的屏幕空间环境光遮挡 [期刊论文]
计算机工程与设计, 2011, 期号: 7, 页码: 2409-2413
宋云鹏; 刘芳; 刘娜; 康一梅
  |  View/Download:4/1
 
一个普适环境下的异构设备互操作协议 [期刊论文]
计算机工程, 2011, 期号: 11, 页码: 275-277
崔洛; 华庆一; 闫凯; 赵文强; 曹丽丽
  |  View/Download:2/1
 
实时模拟固体燃烧现象 [期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 1, 页码: 11-20
朱鉴; 鲍凯; 常元章; 柳有权; 吴恩华
  |  View/Download:6/1
 
一种面向Web服务源程序的谓词抽象验证方法 [期刊论文]
苏州大学学报(工科版), 2011, 期号: 2, 页码: 14-19
任强; 张广泉
  |  View/Download:5/0
 

 

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