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

Search Results

Help

Item hits: (Results 1-10 of 17)

Filters        
Items/Page:    Sort:
A temporal programming model with atomic blocks based on projection temporal logic [期刊论文]
Frontiers of Computer Science, 2014-01-01
Yang, Xiaoxiao (1); Zhang, Y. (1); Fu, Ming (2); Feng, Xinyu (2)

 
Mixed order discretization based two-level Schwarz preconditioners for a tracer transport problem on the cubed-sphere [期刊论文]
Computers and Fluids, 2014-01-01
Yang, Haijian (1); Yang, Chao (2); Cai, Xiao-Chuan (4)

 
Compensation by design [期刊论文]
Formal Aspects of Computing, 2014-01-01, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)

 
Cheat sensitive quantum bit commitment via pre- and post-selected quantum states [期刊论文]
Quantum Information Processing, 2014-01-01, 卷号: 13, 期号: 1, 页码: 141-149
Li, Yan-Bing (1); Wen, Qiao-Yan (1); Li, Zi-Chen (3); Qin, Su-Juan (1); Yang, Ya-Tao (3)

 
IoT-SVKSearch: A real-time multimodal search engine mechanism for the internet of things [期刊论文]
International Journal of Communication Systems, 2014-01-01, 卷号: 27, 期号: 6, 页码: 871-897
Ding, Zhiming (1); Chen, Zhikui (2); Yang, Qi (3)

 
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)

 
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)

 
Impact of product complexity on actual effort in software developments: An empirical investigation [会议论文]
23rd Australasian Software Engineering Conference, ASWEC 2014, Sydney, NSW, Australia, April 7, 2014 - April 10, 2014
Li, Zheng (1); O'Brien, Liam (2); Yang, Ye (3)

 
Optimizing and scaling HPCG on tianhe-2: Early experience [会议论文]
14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, Dalian, China, August 24, 2014 - August 27, 2014
Zhang, Xianyi (1); Yang, Chao (1); Liu, Fangfang (1); Liu, Yiqun (1); Lu, Yutong (4)

 

1 2 next

 

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