Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Address spaceAdeosApache GeronimoBeRTOS

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Gamifying Intelligent Daily Environments through Introducing Fictionality
A virtual form is an abstraction that enhances existing products and services by adding a layer to virtualize them. From a… 
Highly Cited
2013
Highly Cited
2013
Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints
The advent of multi- and many-core processors comes with new challenges and opportunities for the designer of embedded real-time… 
Highly Cited
2011
Highly Cited
2011
FamiWare: a family of event-based middleware for ambient intelligence
Most of the middlewares currently available focus on one type of device (e.g., TinyOS sensors) and/or are designed with one… 
2010
2010
Towards customizable, application specific mobile trusted modules
Two different security extensions of mobile platforms for hosting Mobile Trusted Module (MTM) functionality have been introduced… 
Highly Cited
2006
Highly Cited
2006
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of… 
2005
2005
TMO-eCos: an eCos-based real-time micro operating system supporting execution of a TMO structured program
The TMO (time-triggered message-triggered object) model is a well-known real-time object model for distributed and timeliness… 
2001
2001
RTLinux with Address Spaces
The combination of a real-time executive and an off-the-shelf time-sharing operating system has the potential of providing both… 
2000
2000
A hierarchical approach to stochastic discrete and continuous performance simulation using composable software components
Highly Cited
1999
Highly Cited
1999
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
MAFALDA is a generic experimental environment that is intended to support, for several microkernel candidates, both objectives of… 
1993
1993
Experiments with Real-Time Servers in Real-Time Mach
The Mach micro kernel allows many operating system functions such as le systems, network protocols, TTY managers and process… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)