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.

2011

Virtualization has changed the ways computation is done, especially in utility and cloud computing. While several virtualization…

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…

2005

This paper presents a servo-based four-legged robot — named AIMEE — for the RoboCup Rescue competition.

2001

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

1998

Clusters of workstations have the potential to compete with supercomputers or massively parallel processors. Poor management…

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…

1992

Signicant eort is currently being applied to the integration of diverse digital communication services including voice, video…