云南高校图书馆联盟文献共享服务平台- 卢亮

卢亮: 作品数：1被引量：5H指数：1; 导出分析报告; 供职机构：南京大学更多>>; 发文主题：微内核形式化设计形式化描述形式化多线程机制更多>>; 发文领域：自动化与计算机技术医药卫生更多>>; 发文期刊：《计算机科学》更多>>; 所获基金：国家高技术研究发展计划江苏省高校自然科学研究项目江苏省“六大人才高峰”高层次人才项目更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

微内核架构多线程机制的形式化设计研究被引量：5: 《计算机科学》2013年第4期136-141,163,共7页钱振江卢亮黄皓; 国家高技术研究发展计划(863)(2011AA01A202);江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035);江苏省高校自然科学研究项目(12KJB520001)资助; 微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式...; 关键词：微内核多线程操作系统形式化描述形式化设计