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
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
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
1989
Highly Cited
1989
Next generation real-time systems will require greater flexibility and predictability than is commonly found in today's systems… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Mach is a multiprocessor operating system kernel and environment under development at Carnegie Mellon University. Mach provides a… (More)
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?