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

Kernel (operating system)

Known as: Nucleus (operating system), Kernel design, Kernel memory 
The kernel (also called nucleus) is a computer program that constitutes the central core of a computer's operating system. It has complete control… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We report on the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C… Expand
  • figure 4
  • figure 5
  • table 1
Highly Cited
2009
Highly Cited
2009
Complete formal verification is the only known way to guarantee that a system is free of programming errors. We present our… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Highly Cited
2004
Highly Cited
2004
Wireless sensor networks are composed of large numbers of tiny networked devices that communicate untethered. For large scale… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • table 1
Highly Cited
2004
Highly Cited
2004
Copilot is a coprocessor-based kernel integrity monitor for commodity systems. Copilot is designed to detect malicious… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Highly Cited
2003
Highly Cited
2003
Linux Kernel Development details the design and implementation of the Linux kernel, presenting the content in a manner that is… Expand
  • figure 1
  • table 2
  • table 1
  • table 3
  • table 5
Highly Cited
2003
Highly Cited
2003
A new approach toward target representation and localization, the central component in visual tracking of nonrigid objects, is… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Review
2003
Review
2003
Kernel methods provide a powerful and unified framework for pattern discovery, motivating algorithms that can act on general… Expand
Highly Cited
1995
Highly Cited
1995
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an… Expand
  • figure 3
  • table 1
  • table 2
  • table 3
  • table 4
Highly Cited
1986
Highly Cited
1986
Mach is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University. Mach provides a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1974
Highly Cited
1974
This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini… Expand
  • figure 1