×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [64]
内容类型
会议论文 [36]
学位论文 [19]
期刊论文 [9]
发表日期
2016 [1]
2013 [1]
2012 [8]
2011 [9]
2010 [7]
2009 [7]
更多...
学科主题
Computer S... [1]
Computer S... [1]
Science & ... [1]
计算机科学技术基础学... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共64条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
The BLIS Framework: Experiments in Portability
期刊论文
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016, 卷号: 42, 期号: 2
Van Zee, FG
;
Smith, TM
;
Marker, B
;
Low, TM
;
De Geijn, RAV
;
Igual, FD
;
Smelyanskiy, M
;
Zhang, XY
;
Kistler, M
;
Austel, V
;
Gunnels, JA
;
Killough, L
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2016/12/09
Algorithms
Performance
Linear algebra
libraries
high performance
matrix
multiplication
BLAS
Visual analysis of large-scale network anomalies
期刊论文
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2013, 卷号: 57, 期号: 3-4
Liao, Q.
;
Shi, L.
;
Wang, C.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/16
a profit-aware virtual machine deployment optimization framework for cloud platform providers
会议论文
2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012
Chen Wei
;
Qiao Xiaoqiang
;
Wei Jun
;
Huang Tao
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/09/22
Cloud computing
Computer simulation
Optimization
Profitability
application-level cpu consumption estimation: towards performance isolation of multi-tenancy web applications
会议论文
2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012
Wang Wei
;
Huang Xiang
;
Qin Xiulei
;
Zhang Wenbo
;
Wei Jun
;
Zhong Hua
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/22
Cloud computing
Regression analysis
xenpump: a new method to mitigate timing channel in cloud computing
会议论文
2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012
Wu Jingzheng
;
Ding Liping
;
Lin Yuqi
;
Min-Allah Nasro
;
Wang Yongji
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2013/09/22
Security of data
Virtual reality
robust vacuity for branching temporal logic
期刊论文
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 卷号: 13, 期号: 1, 页码: -
Gurfinkel Arie
;
Chechik Marsha
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/17
Verification
Vacuity detection
a business process-driven approach for requirements dependency analysis
会议论文
10th International Conference on Business Process Management, BPM 2012, Tallinn, Estonia, September 3, 2012 - September 6, 2012
Li Juan
;
Jeffery Ross
;
Fung Kam Hay
;
Zhu Liming
;
Wang Qing
;
Zhang He
;
Xu Xiwei
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/22
Enterprise resource management
Software design
Specifications
a framework for detecting anomalous services in osgi-based applications
会议论文
2012 IEEE 9th International Conference on Services Computing, SCC 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012
Wang Tao
;
Wei Jun
;
Zhang Wenbo
;
Zhong Hua
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2013/09/22
implementing dynamic management for mediated service interactions
会议论文
2012 IEEE 9th International Conference on Services Computing, SCC 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012
Qiao Xiaoqiang
;
Chen Wei
;
Wei Jun
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/22
Ontology
Semantic Web
Web services
Websites
faulty interaction identification via constraint solving and optimization
会议论文
15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, June 17, 2012 - June 20, 2012
Zhang Jian
;
Ma Feifei
;
Zhang Zhiqiang
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/22
Formal logic
Optimization
©版权所有 ©2017 CSpace - Powered by
CSpace