微内核架构内存管理的形式化设计和验证方法研究

您当前的位置：

首页 >

文章列表页 >

微内核架构内存管理的形式化设计和验证方法研究

科研通信 | 更新时间：2025-07-16

上一篇|下一篇

- 微内核架构内存管理的形式化设计和验证方法研究
- Research on Method of Formal Design and Verification of Memory Management Based on Microkernel Architecture
- 钱振江，刘永俊，姚宇峰，汤力，黄皓，宋方敏
- 电子学报 2017年45卷第1期页码：251-256
- 作者机构：
  1. 南京大学计算机科学与技术系,江苏,南京,210023
  2. 常熟理工学院计算机科学与工程学院,江苏,苏州,215500
  3. 南京大学计算机科学与技术系,江苏,南京,210023
  4. 常熟理工学院计算机科学与工程学院,江苏,苏州,215500
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61402057）;江苏省科技计划自然科学研究项目 (No.BK20140418）;中国博士后科学基金 (No.2015M571737）;江苏省“六大人才高峰”高层次人才项目 (No.2011-DZXX-035）;江苏省高校自然科学研究项目 (No.12KJB520001）
- DOI： 10.3969/j.issn.0372-2112.2017.01.035
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

215

浏览量

645

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

VMFS: 一种持久性内存统一管理系统

最小布尔不可满足子式的求解算法

面向模型检验的跨时钟域设计电路特性生成方法

面向SoC系统芯片中跨时钟域设计的模型检验方法

多保护域进程模型及其实现

相关作者

胡泽瑞

赵盛

施文杰

王刚

刘晓光

张佳辰

李思昆

沈胜宇

相关机构

南开大学计算机学院

天津市网络与数据安全技术重点实验室

国防科学技术大学计算机学院

北京大学微处理器研究与开发中心

南京大学计算机软件新技术国家重点实验室江苏南京