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

Search Results

Help

Item hits: (Results 31-40 of 359)

Items/Page:    Sort:
Enabling and scaling a global shallow-water atmospheric model on Tianhe-2 [会议论文]
28th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2014, Phoenix, AZ, United states, May 19, 2014 - May 23, 2014
Xue, Wei (1); Yang, Chao (2); Fu, Haohuan (3); Wang, Xinliang (1); Xu, Yangtong (1); Gan, Lin (1); Lu, Yutong (5); Zhu, Xiaoqian (5)

 
DAA-related APIs in TPM 2.0 revisited [会议论文]
7th International Conference on Trust and Trustworthy Computing, TRUST 2014, Heraklion, Crete, Greece, June 30, 2014 - July 2, 2014
Xi, Li (1); Yang, Kang (1); Zhang, Zhenfeng (1); Feng, Dengguo (1)

 
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval [会议论文]
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)

 
Modeling and simulations of drop pinch-off from liquid crystal filaments and the leaky liquid crystal faucet immersed in viscous fluids [期刊论文]
JOURNAL OF COMPUTATIONAL PHYSICS, 2013-01-01, 卷号: 236, 页码: 1-14
Yang, Xiaofeng; Forest, M. Gregory; Li, Huiyuan; Liu, Chun; Shen, Jie; Wang, Qi; Chen, Falai

 
A robust digital watermarking algorithm in undecimated discrete wavelet transform domain [期刊论文]
Computers and Electrical Engineering, 2013-01-01, 卷号: 39, 期号: 3, 页码: 893-906
Yang, Hong-Ying (1); Wang, Xiang-Yang (1); Wang, Chun-Peng (1)

 
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees [会议论文]
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1); Zhang, Yang (2); Cheng, Liang (2)

 
DevNet: Exploring developer collaboration in heterogeneous networks of bug repositories [会议论文]
2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2013, Baltimore, MD, United states, October 10, 2013 - October 11, 2013
Wang, Song (1); Zhang, Wen (1); Yang, Ye (1); Wang, Qing (1)

 
A study on software effort prediction using machine learning techniques [会议论文]
6th International Conference Evaluation of Novel Approaches to Software Engineering, ENASE 2011, Beijing, China, June 8, 2011 - June 11, 2011
Zhang, Wen (1); Yang, Ye (1); Wang, Qing (1)

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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