The Jury Is In
- 27 August 2018
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Lessons learned from 30 years of MINIXCommunications of the ACM, 2016
- Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems, 2014
- Timing Analysis of a Protected Operating System KernelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Reexamining the fault density component size connectionIEEE Software, 1997
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- Improving IPC by kernel designPublished by Association for Computing Machinery (ACM) ,1993
- The impact of operating system structure on memory system performancePublished by Association for Computing Machinery (ACM) ,1993
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968
- Programming semantics for multiprogrammed computationsCommunications of the ACM, 1966