中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Community
软件所图书馆 [17]
作者
Language
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 17)

Filters    
Items/Page:    Sort:
Multiphase until formulas over Markov reward models: An algebraic approach [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
  |  
 
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)

 
a peta-scalable cpu-gpu algorithm for global atmospheric simulations [会议论文]
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin

 
model checking conditional csl for continuous-time markov chains [期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun

 
energy consumption optimization for high-speed railway based on particle swarm algorithm [会议论文]
4th International Conference on Computational Intelligence and Communication Networks, CICN 2012, Mathura, Uttar Pradesh, India, November 3, 2012 - November 5, 2012
Sun Shiyao; Li Yang; Xu Huaiyu

 
visualizing the random forest by 3d techniques [会议论文]
International Workshop on Internet of Things, IOT 2012, Changsha, China, August 17, 2012 - August 29, 2012
Yang Min; Xu Hexin; Zhu Dingju; Chen Huijuan

 
a hybrid search engine framework for the internet of things based on spatial-temporal, value-based, and keyword-based conditions [会议论文]
2012 IEEE International Conference on Green Computing and Communications, GreenCom 2012, 2012 IEEE International Conference on Internet of Things, iThings 2012 and 5th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besancon, France, November 20, 2012 - November 23, 2012
Ding Zhiming; Gao Xu; Guo Limin; Yang Qi

 
a hybrid search engine framework for the internet of things [会议论文]
9th Web Information Systems and Applications Conference, WISA 2012, Haikou, Hainan, China, November 16, 2012 - November 18, 2012
Ding Zhiming; Dai Jian; Gao Xu; Yang Qi

 
stroke-based real-time ink wash painting style rendering for geometric models [会议论文]
SIGGRAPH Asia 2012 Technical Briefs, SA 2012, Singapore, Singapore, November 28, 2012 - December 1, 2012
Xu Tian-Chen; Yang Li-Jie; Wu En-Hua

 
a flexible software framework for transportation maintenance scheduling [期刊论文]
Journal of Software, 2012-01-01, 卷号: 7, 期号: 9, 页码: 2158-2161
Huang Yongjian; Su Ruidan; Yan Weiwei; Zhang Kunlin; Liu Yang; Xu Huaiyu

 

1 2 next

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