• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"作者=赵承鼎"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于seL4的分区操作系统健康监控设计
收藏
分享
引用
《计算机工程与设计》2018年 第5期39卷 1296-1301页
作者：王天辰 赵承鼎 魏鑫 高艳华北京控制与电子技术研究所计算机软件技术研发中心北京100038 北京航空航天大学计算机学院北京100191 
介绍seL4微内核操作系统的结构及功能,提出一些问题,例如目前基于seL4的分区操作系统设计和实现并不十分完善,对于健康监控的研究处于基本空白。针对这些问题,结合现有的操作系统微内核理论及分区方案的需求,参考ARINC653标准的相关思路...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部