Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
This paper presents our design and experience with a microkernel-inspired approach to host networking called Snap. Snap is a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Cloud computing uses virtualization to lease small slices of large-scale datacenter facilities to individual paying customers… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We argue that the biggest problem with the current Internet architecture is not a particular functional deficiency, but its… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The commercial offer concerning microkernel technology constitutes an attractive alternative for developing operating systems to… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We report an empirical study of a synchronous messaging application with group-oriented functionality designed to support teams… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Operating system design has had limited success in providing adequate application functionality and a poor record in avoiding… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Scheduling theory holds great promise as a means to a priori validate timing correctness of real-time applications. However… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The KeyKOS nanokernel is a capability-based object-oriented operating system that has been in production use since 1983. Its… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract As the price of CPU chips continues to fall rapidly, it will soon be economically feasible to build computer systems… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?