Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ARM architectureAdvanced Programmable Interrupt ControllerAlmquist shellAmsterdam Compiler Kit

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Survey Paper on Different MINIX Versions to Support Implementation of IPSec Protocol in MINIX OS
Progress achieved in the field of Computer Science is remarkable. In the olden days when the computer was considered quite a… 
2013
2013
Disk Cache Manager based on Minix3 Microkernel : Design and Implementation
Disk Cache Manager(DCM), a functional server of microkernel based, to improve the I/O power of shared disks is designed and… 
2012
2012
Microkernel based real-time embedded operating systems efficiency improvement
The extensiveness and dependability of system architecture facilitates the steady rise in development of applications and… 
2012
2012
How to cope with the evolution of classic software during the test generation based on CPN
Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of… 
2010
2010
MINIX 3: Status Report and Current Research
Most people want their computer to be like their TV set: you buy it, plug it in, and it works perfectly for the netx 10 years… 
2010
2010
Individual Programming Assignment User Mode Scheduling in MINIX 3
, 
2010
2010
Test Sequence Generation from Combining Property Modeling and Program Slicing
Property based testing is to test the interesting property of software. It can reduce the amount of testing work and further… 
2006
2006
Applying flow-sensitive CQUAL to verify MINIX authorization check placement
We present the first use of flow-sensitive CQUAL to verify the placement of operating system authorization checks. Our analysis… 
2006
2006
Reorganizing UNIX for Reliability
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX3, that provides reliability… 
Review
2003
Review
2003
Open source software and peer review
We compare the open source model of software development to peer review in academia. 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)