机构

• 软件研究所 [21]

采集方式

• OAI收割 [21]

内容类型

• 会议论文 [11]
• 期刊论文 [10]

发表日期

• 2014 [21]

学科主题

筛选

浏览/检索结果: 共21条，第1-10条 帮助 限定条件 发表日期：2014    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Cheat sensitive quantum bit commitment via pre- and post-selected quantum states 期刊论文  OAI收割 Quantum Information Processing, 2014, 卷号: 13, 期号: 1, 页码: 141-149 Li, Yan-Bing (1); Wen, Qiao-Yan (1); Li, Zi-Chen (3); Qin, Su-Juan (1); Yang, Ya-Tao (3)   |  收藏  |  浏览/下载：28/0  |  提交时间：2014/12/16 Cheat sensitive  Quantum bit commitment  Pre- and post-selected  EPR pair   CPU-GPU协同计算加速ASIFT算法 期刊论文  OAI收割 计算机科学, 2014, 卷号: 41, 期号: 5, 页码: 14-19 何婷婷; 芮建武; 温腊   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 特征提取  ASIFT  SIFT  CPU/GPU协同工作  Image feature extraction  ASIFT  SIFT  CPU/GPU synergetic parallel   Anisotropic progressive photon mapping 会议论文  OAI收割 5th International Conference on Graphic and Image Processing, ICGIP 2013, Hong Kong, China, October 26, 2013 - October 27, 2013 Liu, XiaoDan (1); Zheng, ChangWen (1)   |  收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16 K-nearest photons  Progressive photon mapping  Kernel estimator  Anisotropic   Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming 会议论文  OAI收割 17th Design, Automation and Test in Europe, DATE 2014, Dresden, Germany, March 24, 2014 - March 28, 2014 Zhu, Xue-Yang (1); Geilen, Marc (2); Basten, Twan (2); Stuijk, Sander (2)   |  收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 Improved Davies-Murphy's attack on des revisited 会议论文  OAI收割 6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013 Lu, Yi (1); Desmedt, Yvo (2)   |  收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16 A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 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   Formal analysis of TPM2.0 key management APIs 期刊论文  OAI收割 CHINESE SCIENCE BULLETIN, 2014, 卷号: 59, 期号: 32, 页码: 4210-4224 Zhang, Qianying; Zhao, Shijun; Qin, Yu; Feng, Dengguo   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Trusted computing  TPM2.0  Security APIs  Key management  Secrecy  Formal analysis   A succinct string dictionary index in external memory 期刊论文  OAI收割 International Journal of Database Theory and Application, 2014, 卷号: 7, 期号: 3, 页码: 13-22 作者:  Zhang, Guoqing;  Rong, Mei;  Zhang, Guangquan   |  收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16 Communication-oriented performance optimisation during code generation from simulink models 期刊论文  OAI收割 International Journal of Embedded Systems, 2014, 卷号: 6, 期号: 2-3, 页码: 124-134 作者:  Yan, Rongjie;  Yu, Min;  Huang, Kai;  Zhang, Xiaomeng   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 Hippo: An enhancement of pipeline-aware in-memory caching for HDFS 会议论文  OAI收割 2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014 Wei, Lan (1); Lian, Wenbo (1); Liu, Kuien (1); Wang, Yongji (1)   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16