×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [44]
内容类型
期刊论文 [22]
会议论文 [18]
学位论文 [4]
发表日期
2017 [1]
2014 [4]
2013 [9]
2012 [7]
2011 [5]
2010 [2]
更多...
学科主题
Automation... [1]
Computer S... [1]
Computer S... [1]
Engineerin... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共44条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
基于卡口数据的交通控制策略优化并行算法研究
学位论文
博士, 北京: 中国科学院大学, 2017
作者:
任刚
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2017/07/08
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel
期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1)
;
Yang, Qiusong (1)
;
Zhai, Jian (1)
;
Wang, Qing (1)
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
Model checking
Linear temporal logic
Distributed memory algorithm
Formal method
Scalable algorithm
Reliable model checker
异构平台上性能自适应FFT框架
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 3, 页码: 637-649
李焱
;
张云泉
收藏
  |  
浏览/下载:69/0
  |  
提交时间:2014/12/16
快速傅里叶变换
自适应性能优化
加速处理器
图形处理器
异构
fast Fourier transform (FFT)
auto-tuning performance
accelerated processing unit (APU)
graphic processing unit (GPU)
heterogenous
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)
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
CLSIFT: An optimization study of the scale invariance feature transform on GPUs
会议论文
15th IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2013, Zhangjiajie, Hunan, China, November 13, 2013 - November 15, 2013
Wang, Weiyan (1)
;
Zhang, Yunquan (1)
;
Guoping, Long (1)
;
Yan, Shengen (1)
;
Jia, Haipeng (1)
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2014/12/16
Symbolic termination analysis of solvable loops
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49
Xu, Ming
;
Li, Zhi-Bin
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
Program verification
Termination analysis
Polynomial loops
Symbolic computation
Quantifier elimination
Real root bounds
利用并行GPU对分层分布式狄利克雷分布算法加速
会议论文
2013年全国开放式分布与并行计算学术年会, 昆明, 2013
温腊
;
芮建武
;
何婷婷
;
郭亮
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
分层分布式狄利克雷分布
潜在狄利克雷分布
文本分类
分布式框架
并行图形处理器
Security analysis of a privacy-preserving decentralized key-policy attribute-based encryption scheme
期刊论文
IEEE Transactions on Parallel and Distributed Systems, 2013, 卷号: 24, 期号: 11, 页码: 2319-2321
Ge, Aijun (1)
;
Zhang, Jiang (2)
;
Zhang, Rui (3)
;
Ma, Chuangui (1)
;
Zhang, Zhenfeng (2)
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2014/12/16
Cryptanalysis
attribute-based encryption
privacy
access control
一般稀疏矩阵相乘的混合并行算法*
期刊论文
计算机科学与探索, 2013, 卷号: 7, 期号: 8, 页码: 698-703
罗海飙
;
王婷
;
张云泉
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2014/12/16
稀疏矩阵相乘
混合并行
负载均衡
并行快速排序
An effective iterated greedy algorithm for reliability-oriented task allocation in distributed computing systems
期刊论文
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2013, 卷号: 73, 期号: 8, 页码: 1106-1115
Kang, Qinma
;
He, Hong
;
Wei, Jun
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
Distributed computing
Task allocation
System reliability
Iterated greedy algorithm
Meta-heuristics
©版权所有 ©2017 CSpace - Powered by
CSpace