中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
采集方式
OAI收割 [10]
内容类型
期刊论文 [10]
发表日期
2014 [10]
学科主题
筛选
浏览/检索结果:
共10条,第1-10条
帮助
限定条件
存缴方式:oaiharvest
发表日期:2014
内容类型:期刊论文
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
发表日期升序
发表日期降序
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)
  |  
收藏
  |  
浏览/下载:31/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
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
一种基于隐语义概率模型的个性化Web服务推荐方法
期刊论文
OAI收割
计算机研究与发展, 2014, 卷号: 51, 期号: 8, 页码: 1781-1793
胡堰
;
彭启民
;
胡晓惠
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
Web服务推荐
个性化
隐语义概率模型
指标偏好
期望极大算法
Web service recommendation
personalization
latent semantic probabilistic model
criteria preference
expectation maximization algorithm
Parallel compression and decompression of DNA sequence reads in FASTQ format
期刊论文
OAI收割
International Journal of Hybrid Information Technology, 2014, 卷号: 7, 期号: 4, 页码: 91-100
Zheng, Jingjing (1)
;
Wang, Ting (1)
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/16
面向 OSGi 框架的软件构件监控方法的设计与实现
期刊论文
OAI收割
计算机应用与软件, 2014, 卷号: 31, 期号: 4, 页码: 1-6,58
李顺
;
王焘
;
宋云奎
;
胡呈炜
;
张文博
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
OSGi
软件构件
资源监控
线程跟踪
OSGi
Software component
Resource monitoring
Thread tracking
面向内存数据网格的分布式事务保障机制
期刊论文
OAI收割
计算机科学与探索, 2014, 卷号: 8, 期号: 7, 页码: 812-822
刘朝辉
;
王伟
;
王彦士
;
魏峻
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
内存数据网格(IMDG)
分布式事务
两阶段提交协议(2PC)
in-memory data grid (IMDG)
distributed transaction
two-phase commit protocol (2PC)