The operating system kernel as a secure programmable machine
- 12 September 1994
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- DCGPublished by Association for Computing Machinery (ACM) ,1994
- The impact of operating system structure on memory system performancePublished by Association for Computing Machinery (ACM) ,1993
- Experiences with the Amoeba distributed operating systemCommunications of the ACM, 1990
- PilotCommunications of the ACM, 1980
- An open operating system for a single-user machinePublished by Association for Computing Machinery (ACM) ,1979
- Reflections on an operating system designCommunications of the ACM, 1976
- HYDRACommunications of the ACM, 1974
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- SHARER, a time sharing system for the CDC 6600Communications of the ACM, 1967
- Dynamic Supervisors - their design and constructionPublished by Association for Computing Machinery (ACM) ,1967