QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2014    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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) 收藏  |  浏览/下载：23/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) 收藏  |  浏览/下载：28/0  |  提交时间：2014/12/16