An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
<p> Operating System (OS) kernels form the backbone of all system software. They have a significant impact on the resilience, extensibility, and security of today's computing hosts. However, modern OS kernels are complex and may consist of a multitude of sequential or concurrent abstracti...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
Yale University
2017
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=10584948 |