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…

2008

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

2007

Due to the ever increasing complexity of todays Enterprise Applications (EA), component technology has become the major means to…

2005

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

2002

2001

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

2000

1993

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

1993

Digital interactive media augments interactive computing with video, audio, computer graphics and text, allowing multimedia…