MINIX 3

Known as: Minix 3.1.2a, Minix 3.1.2b, Minix3.1.2a 
MINIX 3 is a project to create a small, highly reliable, and functional Unix-like operating system. It is published under a BSD license and is a… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2006-2017
024620062017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
  • Joshua C. Loew
  • 2016
The developers of the MINIX 3 operating system (OS) believe that a computer should work like a television set. You should be able… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2011
2011
In 2006, professor Tanenbaum released Minix3 with a new book and papers supporting that drivers running as processes in user mode… (More)
Is this relevant?
2010
2010
This work was carried out in the ASCI graduate school. ASCI dissertation series number 208. " We're getting bloated and huge. Yes… (More)
  • figure 3.5
  • figure 3.7
  • figure 3.8
  • figure 4.3
  • figure 4.4
Is this relevant?
2010
2010
This Individual Programming Assignment focused on moving scheduling in MINIX 3 from kernel mode to user mode. There are several… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Despite the fact that Andrew Tanenbaum has been producing open source code for 30 years as a professor at the Vrije Universiteit… (More)
Is this relevant?
2009
2009
The MINIX 3 operating system aims to make computers more reliable and more secure by keeping privileged code small and simple… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Different kinds of people use computers now than several decades ago, but operating systems have not fully kept pace with this… (More)
Is this relevant?
2006
2006
We present the first use of flow-sensitive CQUAL to verify the placement of operating system authorization checks. Our analysis… (More)
Is this relevant?
2006
2006
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?