中国科学院软件研究所机构知识库
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:21/0
 
基于约束的软件失效域识别与特征分析 [期刊论文]
软件学报, 2012, 卷号: 23, 期号: 7, 页码: 1688-1701
孙昌爱
  |  View/Download:19/1
 
基于自适应分割的动态面光源图像空间绘制 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 2, 页码: 624-629
刘洋; 刘学慧; 吴恩华
  |  View/Download:9/1
 
基于纹理规则性分析的图像填补方法 [期刊论文]
计算机辅助设计与图形学学报, 2012, 卷号: 24, 期号: 2, 页码: 183-190
郝川艳; 陈昕; 吴恩华
  |  View/Download:22/2
 
基于限界模型检查的Web服务行为失配检测 [期刊论文]
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
  |  View/Download:7/1
 
基于自适应光子发射的渐进式光子映射 [期刊论文]
Computer Engineering and Design, 2012, 卷号: 33, 期号: 1, 页码: 219-223
李睿; 陈彦云; 刘学慧
  |  View/Download:24/1
 
一种基于模型结合的错误定位方法 [期刊论文]
中国科技论文, 2012, 卷号: 7, 期号: 1, 页码: 19-27
唐启锋; 许蕾; 钱巨; 陈林; 张震宇
  |  View/Download:6/1
 
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  View/Download:17/2
 
两层架构的可信身份服务平台研究与设计 [期刊论文]
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 1-4,8
朱玉涛; 王雅哲; 武传坤
  |  View/Download:23/1
 
line drawings abstraction from 3d models [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 卷号: 6530, 期号: 1, 页码: 104-111
Zhao Shujie; Wu Enhua
  |  View/Download:7/0
 
automatic clustering using genetic algorithms [期刊论文]
Applied Mathematics and Computation, 2011, 卷号: 218, 期号: 4, 页码: 1267-1279
Liu Yongguo; Wu Xindong; Shen Yidong
  |  View/Download:8/0
 
an inductive approach to strand spaces [期刊论文]
Formal Aspects of Computing, 2011, 期号: 1, 页码: 1-37
Li Yongjian; Pang Jun
  |  View/Download:4/0
 
单遍数据读取的GPU上的多片元效果绘制 [期刊论文]
计算机学报, 2011, 卷号: 34, 期号: 3, 页码: 3473-3481
谢国富; 王文成
  |  View/Download:10/0
 
on the expressive power of schemes [期刊论文]
Information and Computation, 2011, 卷号: 209, 期号: 9, 页码: 1231-1245
Dowek Gilles; Jiang Ying
  |  View/Download:9/1
 
大规模稀疏线性方程组的GMRES-GPU快速求解算法 [期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 4, 页码: 553-560
柳有权; 尹康学; 吴恩华
  |  View/Download:19/0
 
大规模场景流体模拟的耦合算法 [期刊论文]
计算机辅助设计与图形学学报, 2011, 卷号: 23, 期号: 6, 页码: 1028-1033
武小龙; 吴恩华; 张辉
  |  View/Download:36/1
 
theory and applications of models of computation (tamc 2008) [期刊论文]
Theoretical Computer Science, 2011, 卷号: 412, 期号: 18, 页码: 1645-
Agrawal Manindra; Li Angsheng
  |  View/Download:7/0
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
  |  View/Download:17/0
 
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol [期刊论文]
Theoretical Computer Science, 2011, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian; Hung William N.N.; Song Xiaoyu
  |  View/Download:9/0
 
《软件测试》专辑前言 [期刊论文]
计算机学报, 2011, 期号: 6, 页码: 951-952
张健; 徐宝文
  |  View/Download:10/0
 

 

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