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

Search Results

Help

Item hits: (Results 131-140 of 924)

Items/Page:    Sort:
Rabin's theorem in the concurrency setting: A conjecture [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)

 
Locomotion Skills for Insects with Sample-based Controller [期刊论文]
COMPUTER GRAPHICS FORUM, 2014-01-01, 卷号: 33, 期号: 7, 页码: 31-40
Guo, Shihui; Chang, Jian; Yang, Xiaosong; Wang, Wencheng; Zhang, Jianjun

 
The theory and practice in the evolution of trusted computing [期刊论文]
CHINESE SCIENCE BULLETIN, 2014-01-01, 卷号: 59, 期号: 32, 页码: 4173-4189
Feng, Dengguo; Qin, Yu; Feng, Wei; Shao, Jianxiong

 
SPECIAL TOPIC: Network and Information Security Preface [期刊论文]
CHINESE SCIENCE BULLETIN, 2014-01-01, 卷号: 59, 期号: 32, 页码: 4161-4162
Feng, Dengguo

 
A class loading sensitive approach to detection of runtime type errors in component-based Java programs [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 9, 页码: 1076-1085
Zhang, Wenbo (1); Zhou, Xiaowei (1); Zhang, Jianhua (1); Zhang, Zhenyu (1); Zhong, Hua (1)

 
Generating combinatorial test suite using combinatorial optimization [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)

 
A three-phase approach to document clustering based on topic significance degree [期刊论文]
Expert Systems with Applications, 2014-01-01, 卷号: 41, 期号: 18, 页码: 8203-8210
Ma, Yinglong (1); Wang, Yao (1); Jin, Beihong (2)

 
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel [期刊论文]
Journal of Parallel and Distributed Computing, 2014-01-01, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)

 
Parallel Domain Decomposition Methods with Mixed Order Discretization for Fully Implicit Solution of Tracer Transport Problems on the Cubed-Sphere [期刊论文]
Journal of Scientific Computing, 2014-01-01, 卷号: 61, 期号: 2, 页码: 1-23
Yang, Haijian (1); Yang, Chao (2); Cai, Xiao-Chuan (4)

 
Analysis and improvement of a provable secure fuzzy identity-based signature scheme [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 9, 页码: 1-5
Xiong, Hu (1); Chen, YaNan (4); Zhu, GuoBin (1); Qin, ZhiGuang (1)

 

previous 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 next

 

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