Skip to search formSkip to main contentSkip to account menu

MINIX

Known as: MINIX 2.0, Minux, Minx 
MINIX (from "mini-Unix") is a POSIX-compliant (since version 2.0), Unix-like computer operating system based on a microkernel architecture. Early… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
32-bit386BSDARM architectureAlmquist shell

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Truncated sparse approximation property and truncated q-norm minimization
This paper considers approximately sparse signal and low-rank matrix’s recovery via truncated norm minimization minx ǁxTǁq and… 
2011
2011
Data Flow Logic : Analyzing Information Flow Properties of C Programs
Understanding and analyzing information flow is crucial in the evaluation of security critical software systems. Data Flow Logic… 
2008
2008
Optimal parametric discrete event control: Problem and solution
We present a novel optimization problem for discrete event control, similar in spirit to the optimal parametric control problem… 
1999
1999
Advanced Time-Domain Methods For Nuclear Magnetic Resonance Spectroscopy Data Analysis
Over the past years magnetic resonance spectroscopy (MRS) has been of significant importance both as a fundamental research… 
1996
1996
Smx-the solaris port of minix
In the process of soldering electrical connections in printed circuits, the printed circuit is passed through the crest of a… 
1993
1993
Implementation and evaluation of alternative process schedulers in MINIX
Minix is a Unix clone Operating System, designed by Tanembaum ([2],[3]) to allow beginners to do practical training in Operating… 
Review
1989
Review
1989
An operating systems course using MINIX
Hands-on experience with a real operatin g system is an important tool in teaching a course in operating systems . Until recently… 
1988
1988
Design considerations for the transformation of MINIX into a distributed operating system
MINIX is a version seven UNIX compatible operating system written for the Intel 8088 CPU and IBM-PC circuit package. MINIX is… 
1988
1988
Minix security policy model
  • J. E. Roskos
  • [Proceedings ] Fourth Aerospace Computer Security…
  • 1988
  • Corpus ID: 56836045
The author describes how the Bell-La Padula model might be applied to the current, unrated Minix operating system. Also discussed… 
1985
1985
303. Untersuchungen zur Antithrombogenität der Venenwand
SummaryIn the isolated perfused vena cava inferior of the rabbit, platelet-aggregating ADP is rapidly degraded to platelet… 
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)