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

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