彭飞
作品数: 41被引量:15H指数:3
  • 所属机构:北京控制工程研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:中国科学院软件研究所计算机科学国家重点实验室开放课题基金

相关作者

徐建
作品数:46被引量:36H指数:4
供职机构:北京控制工程研究所
研究主题:热备份 处理器 单机 星载 操作系统
刘波
作品数:146被引量:92H指数:7
供职机构:北京控制工程研究所
研究主题:热备份 处理器 容错 星载 计算机
杨桦
作品数:73被引量:50H指数:5
供职机构:北京控制工程研究所
研究主题:形式化验证 星载 操作系统 嵌入式操作系统 航天器
乔磊
作品数:56被引量:73H指数:5
供职机构:北京控制工程研究所
研究主题:形式化验证 操作系统 空间飞行器 嵌入式操作系统 航天器
王婧
作品数:22被引量:13H指数:2
供职机构:北京控制工程研究所
研究主题:热备份 多核 实时系统 容错方法 处理器