×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [8]
内容类型
期刊论文 [5]
会议论文 [2]
学位论文 [1]
发表日期
2014 [1]
2012 [1]
2011 [2]
2010 [2]
2006 [2]
学科主题
Computer S... [2]
Automation... [1]
Theory & M... [1]
计算机软件 [1]
计算机软件::操作系... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共8条,第1-8条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
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
quantum private comparison against decoherence noise
期刊论文
Quantum Information Processing, 2012, 页码: 1-15
Li Yan-Bing
;
Qin Su-Juan
;
Yuan Zheng
;
Huang Wei
;
Sun Ying
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/09/17
Magnetic materials
Quantum optics
two-dimensional clock synchronization algorithm for vehicular delay tolerant network
期刊论文
Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: UPPL. 1, 页码: 51-61
Zhao Zhong-Hua
;
Huang Fu-Wei
;
Liu Yan
;
Sun Li-Min
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/10/08
Algorithms
Crystal oscillators
Mechanical clocks
Two dimensional
Wireless networks
a network coding based dtn convergence layer reliable transport mechanism over interplanetary networks
期刊论文
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2011, 卷号: 6, 期号: 2, 页码: 236-245
Haoliang S.
;
Lixiang L.
;
Xiaohui H.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2013/10/08
DTN
Convergence Layer
Reliable Transport
Network Coding
星载计算机软件容错技术
学位论文
硕士, 北京: 中国科学院研究生院, 2010
曹东坡
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2010/06/16
星载计算机,软件容错,单粒子效应,瞬时故障,控制流错误
on collaborative tracking of a target group using binary proximity sensors
期刊论文
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 卷号: 70, 期号: 8, 页码: 825-838
Cao Donglei
;
Jin Beihong
;
Das Sajal K.
;
Cao Jiannong
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/05/24
Wireless sensor network
Target group tracking
Multi-sensor collaboration
Localization error analysis
a fault-tolerant scheme for complex transaction patterns in j2ee
会议论文
10th IEEE International Enterprise Distributed Object Computing Conference, Hong Kong, PEOPLES R CHINA, OCT 16-20,
Zuo Lin
;
Liu Shaohua
;
Wei Jun
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/28
2PC protocol
J2EE application server
OnceAS
backward error recovery
blocking problem
complex transaction patterns
distributed transactions processing
end-to-end reliability
fault-tolerant scheme
forward error recovery
large-scale distributed enterprise ap
a fault-tolerant scheme for complex transaction patterns in j2ee
会议论文
10th IEEE International Enterprise Distributed Object Computing Conference, Hong Kong, PEOPLES R CHINA, OCT 16-20,
Zuo Lin
;
Liu Shaohua
;
Wei Jun
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2011/07/28
2PC protocol
J2EE application server
OnceAS
backward error recovery
blocking problem
complex transaction patterns
distributed transactions processing
end-to-end reliability
fault-tolerant scheme
forward error recovery
large-scale distributed enterprise ap
©版权所有 ©2017 CSpace - Powered by
CSpace