Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,273,813 papers from all fields of science
Search
Sign In
Create Free Account
MINIX 3
Known as:
Minix 3.1.2a
, Minix 3.1.2b
, Minix3.1.2a
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ARM architecture
Advanced Programmable Interrupt Controller
Almquist shell
Amsterdam Compiler Kit
Expand
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
Spencer Lawrence Kinny
,
Kalpita Ajinkya Wagaskar
International Conference on Computing…
2017
Corpus ID: 52290742
Progress achieved in the field of Computer Science is remarkable. In the olden days when the computer was considered quite a…
Expand
2012
2012
Microkernel based real-time embedded operating systems efficiency improvement
H. Marzi
,
Yuntao Yang
Canadian Conference on Electrical and Computer…
2012
Corpus ID: 10171476
The extensiveness and dependability of system architecture facilitates the steady rise in development of applications and…
Expand
2012
2012
How to cope with the evolution of classic software during the test generation based on CPN
N. He
,
Hua Li
,
Bin Pang
,
Hui-Min Xie
,
Hongji Yang
International Conference on Systems and…
2012
Corpus ID: 12728247
Software evolution is the process to meet the market requirements. The software after evolution has many new features worth of…
Expand
2010
2010
MINIX 3: Status Report and Current Research
A. Tanenbaum
,
Raja Appuswamy
,
+6 authors
D. V. Moolenbroek
Login: The Usenix Magazine
2010
Corpus ID: 9907456
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…
Expand
2010
2010
Individual Programming Assignment User Mode Scheduling in MINIX 3
Bjrn Patrick Swift
,
TomasHruby
,
A. Tanenbaum
2010
Corpus ID: 14974585
,
Highly Cited
2006
Highly Cited
2006
MINIX 3: a highly reliable, self-repairing operating system
J. Herder
,
H. Bos
,
Ben Gras
,
P. Homburg
,
A. Tanenbaum
OPSR
2006
Corpus ID: 30216714
Different kinds of people use computers now than several decades ago, but operating systems have not fully kept pace with this…
Expand
Highly Cited
2006
Highly Cited
2006
Globule: a collaborative content delivery network
G. Pierre
,
M. Steen
IEEE Communications Magazine
2006
Corpus ID: 2806128
We present Globule, a collaborative content delivery network developed by our research group. Globule is composed of Web servers…
Expand
2006
2006
Applying flow-sensitive CQUAL to verify MINIX authorization check placement
T. Fraser
,
N. L. Petroni
,
W. Arbaugh
ACM Workshop on Programming Languages and…
2006
Corpus ID: 12487226
We present the first use of flow-sensitive CQUAL to verify the placement of operating system authorization checks. Our analysis…
Expand
2006
2006
Reorganizing UNIX for Reliability
J. Herder
,
H. Bos
,
Ben Gras
,
P. Homburg
,
A. Tanenbaum
Asia-Pacific Computer Systems Architecture…
2006
Corpus ID: 2150758
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX3, that provides reliability…
Expand
2006
2006
Size is not everything
M. Eisenstein
Nature Methods
2006
Corpus ID: 3014889
They may be tiny, but microRNAs show strength in numbers and by exerting a surprising amount of influence over the expression of…
Expand
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)
ACCEPT & CONTINUE