1) L4 microkernel
L4微内核
1.
This paper introduces a model for L4 microkernel memory management system,gives formal description for operations such as Grant,Map,Flush,proposes and verifies some safety properties using SPIN model checker.
对L4微内核操作系统的内存管理机制进行形式化抽象建模,针对L4内核API提供的地址空间操作原语Grant,Map和Flush等操作进行形式化描述,模拟地址页面映射的树形结构管理,运用模型检验工具SPIN对抽象模型进行了验证。
2) ribosomal protein L4
核糖体蛋白L4
3) ribosomal protein L4(RPL4)
核糖体蛋白L4(RPL4)
4) micro-kernel
微内核
1.
Design of hard real-time micro-kernel in embedded operating system;
嵌入式操作系统的硬实时微内核设计
2.
Management Strategy of the Real-Time Database based on the Micro-kernel;
基于微内核的实时数据库数据管理策略
3.
Implementation of Request Processing in Micro-kernel ORB;
一种基于微内核ORB的请求处理实现机制
5) microkernel
微内核
1.
Design and implementation of microkernel-based architecture;
一种基于微内核的系统结构的设计与实现
2.
Real-Time Satellite Operating System Design Based on Microkernel Architecture;
采用微内核结构的实时卫星操作系统设计
6) micro kernel
微内核
1.
This paper describes what kind of OS satellite software required and presents a micro kernel structure for satellite embedded system with the characteristics of satellite application oriented,small size,software reconfigurable,high real-time and stability.
该文分析星载软件所需的实时操作系统,根据星载软件的实际任务要求,提出一个适合于星上嵌入式系统的软件微内核设计架构,具有面向卫星、占固存少、可在轨软件重构、实时性强、可靠性高等特点。
2.
First,this paper analyses how micro kernel and monolithic kernel influence device drivers in the aspects of kernel performance and security.
论文首先从内核性能和安全性的角度分析驱动程序对微内核与单体内核的影响;然后讨论硬件抽象层对驱动抽象能力的影响以及与移植性及内核大小的关系;分析传统UNIX系列与Windows NT操作系统内核结构以及驱动模型优缺点;最后介绍一个构件化驱动模型的特点。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条