Microkernel

Known as: Mkernel, Picokernel, Nanokernel

In computer science, a microkernel (also known as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

A virtual form is an abstraction that enhances existing products and services by adding a layer to virtualize them. From a…

2010

Two different security extensions of mobile platforms for hosting Mobile Trusted Module (MTM) functionality have been introduced…

2009

Operating system controls the resources of the computer, and provides interfaces for users. The resource sharing calls for the…

2008

Within the Verisoft project, we aim at the pervasive modeling, implementation, and verification of a complete computer system…

Highly Cited

2006

Highly Cited

2006

We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of…

2005

The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed and timeliness…

2001

The combination of a real-time executive and an off-the-shelf time-sharing operating system has the potential of providing both…

2000

1994

The recent interest in single address space operating systems has resulted in a number of papers, most of which gloss over the…

1993

The Mach micro kernel allows many operating system functions such as le systems, network protocols, TTY managers and process…