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… 
2017
2017
The PhaseLift for Non-quadratic Gaussian Measurements
We study the problem of recovering a structured signal $\mathbf{x}_0$ from high-dimensional measurements of the form $y=f(\mathbf… 
2017
2017
The Smoothed Number of Pareto-Optimal Solutions in Non-integer Bicriteria Optimization
Pareto-optimal solutions are one of the most important and well-studied solution concepts in multi-objective optimization. Often… 
2013
2013
SENSITIVITY OF LEVERAGE SCORES AND COHERENCE FOR RANDOMIZED MATRIX ALGORITHMS
Leverage Scores. Statistical leverage scores were introduced in 1978 by Hoaglin and Welsch [8] to detect outliers when computing… 
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… 
2003
2003
Bist for minx 4000 and spartan series fpgas: a case study
We discuss the development of Built-In SelfTest (BIST) configurations that test all of the programmable logic and interconnect… 
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
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… 
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… 
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)