中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [17]
作者
Content Type
期刊论文 [9]
会议论文 [8]
Issued Date
2016 [1]
2014 [1]
2013 [2]
2012 [7]
Language
英语 [17]
Source
informatio... [2]
communicat... [1]
computer g... [1]
internatio... [1]
journal of... [1]
更多...
Project
Indexed
EI [14]
SCI [3]
EI,SCIENCE... [1]
Spnsorship
acm sigpla... [1]
acm spec. ... [1]
china comp... [1]
national 9... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 17)
Filters
Community:软件所图书馆
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Submitted Time Ascending
Submitted Time Descending
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
Copyright © 2007-2019
中国科学院软件研究所
-
Feedback
Powered by
CSpace