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

Search Results

Help

Item hits: (Results 1-10 of 16)

Items/Page:    Sort:
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
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)

 
AgiMonitor: A remote database monitoring tool for main memory database [会议论文]
2013 International Conference on Information Engineering, ICIE 2013, Hong Kong, China, November 1, 2013 - November 2, 2013
Yao, Huazhuang (1); Wang, Yongyan (1); Wang, Shuai (1); Li, Kun (1); Guo, Chao (1)

 
The Ecology of Medical Care in Beijing [期刊论文]
PLOS ONE, 2013-01-01, 卷号: 8, 期号: 12
Shao, Shuang; Zhao, FeiFei; Wang, Jing; Feng, Lei; Lu, XiaoQin; Du, Juan; Yan, YuXiang; Wang, Chao; Fu, YingHong; Wu, JingJing; Yu, XinWei; Khoo, KayKeng; Wang, YouXin; Wang, Wei

 
DBIMAT: A runtime program monitoring and performance analysis tool based on dynamic program instrumentation frameworks [会议论文]
2013 International Conference on Computer Sciences and Applications, CSA 2013, Wuhan, China, December 14, 2013 - December 15, 2013
Yao, Huazhuang (1); Shuai, Wang (1); Chao, Guo (1); Wang, Yongyan (1)

 
快速±2隐写 [会议论文]
第十届全国信息隐藏暨多媒体信息安全学术大会CIHW2012, 北京, 2012
王超; 雷娟; 张卫明; 刘九芬

 
recursive method to solve the problem of "gambling with god [期刊论文]
Discrete Applied Mathematics, 2012-01-01, 卷号: 160, 期号: 7-8, 页码: 980-984
Shao Huang; Chao Wang

 
validating objected-oriented prototype of real-time systems with timed automata [会议论文]
13th IEEE International Workshop on Rapid System Prototyping, 待填, 2002-7-1
Guoqiang Shu; Chao Li; Qing Wang; Li Mingshu
  |  
 
网络蠕虫机理及对抗技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-16
王超
  |  
 
对两个改进的BLP模型的分析 [期刊论文]
软件学报, 2007-01-01, 期号: 6, 页码: 1501-1509
何建波; 卿斯汉; 王超
  |  
 

1 2 next

 

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