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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper… (More)
  • figure 1
  • figure 4
  • figure 3
  • figure 2
  • figure 5
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Multiprocessor operating system kernels typically provide complex abstractions implemented with shared data structures protected… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A new approach toward target representation and localization, the central component in visual tracking of nonrigid objects, is… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We introduce a new sequence-similarity kernel, the spectrum kernel, for use with support vector machines (SVMs) in a… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Operating system design has had limited success in providing adequate application functionality and a poor record in avoiding… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
This paper describes a new operating system kernel, called the x-kernel, that provides an explicit architecture for constructing… (More)
  • table VI
  • figure 6
  • figure 5
  • table V
  • table IV
Is this relevant?
Highly Cited
1981
Highly Cited
1981
Accent is a communication oriented operating system kernel being built at Carnegie-Mellon University to support the distributed… (More)
  • figure 7-2
  • figure 7-3
Is this relevant?
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… (More)
  • figure 1
Is this relevant?