中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
计算技术研究所 [1]
自动化研究所 [1]
采集方式
OAI收割 [8]
内容类型
期刊论文 [5]
学位论文 [3]
发表日期
2019 [1]
2011 [4]
2009 [2]
2003 [1]
学科主题
Computer S... [1]
计算机应用::计算机... [1]
筛选
浏览/检索结果:
共8条,第1-8条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于光流的运动目标检测与跟随控制研究
学位论文
OAI收割
中国北京: 中国科学院自动化研究所, 2019
作者:
黄骏杰
  |  
收藏
  |  
浏览/下载:173/0
  |  
提交时间:2019/06/11
光流
运动目标检测
跟随控制
视觉伺服
机器人
软件实现的控制流容错技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2011
陆庄伟
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2011/06/24
软件容错
控制流检测
故障注入
单粒子翻转
CFCIB:基于插入块的控制流错误检测方法
期刊论文
OAI收割
计算机工程与设计, 2011, 卷号: 32, 期号: 9, 页码: 3045-3049
陆庄伟
;
张显明
;
刘立祥
;
赵军锁
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2013/10/08
软件容错
控制流检测
瞬时故障
错误注入
嵌入式系统
CFCIB:基于插入块的控制流错误检测方法
期刊论文
OAI收割
Computer Engineering and Design, 2011, 卷号: 32, 期号: 9
陆庄伟
;
张显明
;
刘立祥
;
赵军锁
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/10/08
软件容错
控制流检测
瞬时故障
错误注入
嵌入式系统
静态检测中断驱动程序的数据竞争
期刊论文
OAI收割
计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2290
作者:
霍玮
;
于洪涛
;
冯晓兵
;
张兆庆
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
微控制器
中断驱动程序
数据竞争检测
过程间数据流分析
副作用分析
基于基本块的控制流检错方法优化研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2009
肖贺
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2011/03/17
软错误
控制流检测
基本块规约
性能优化
采用基本块规约的控制流检测性能优化方法
期刊论文
OAI收割
小型微型计算机系统, 2009, 卷号: 30, 期号: 12, 页码: 2378-2382
肖贺
;
王永吉
;
潘远明
;
丁丽萍
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/08/17
软错误
控制流检测
基本块规约
性能优化
softerror
control-flowchecking
basicblockreduce
performaceoptimazation soft error
control-flow checking
basic block reduce
performace optimazation
基于混合粒度冲突检测的事务工作流调度算法
期刊论文
OAI收割
软件学报, 2003, 卷号: 14, 期号: 3, 页码: 369-375
丁柯
;
魏峻
;
冯玉琳
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2011/07/29
事务工作流
并发控制
恢复
调度算法
锁粒度
混合粒度
冲突检测
事务工作流
流调度算法
可串行化
补偿事务
事务类
并发度
松弛原子性
组成
平面
冲突预测
冲突关系
细粒度
粗粒度
特性
活动
概率Algorithms
Concurrency control
Mathematical models
Network protocols
Scheduling