Transforming policies into mechanisms with infokernel
- 19 October 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 37 (5), 90-105
- https://doi.org/10.1145/1165389.945455
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Anticipatory schedulingPublished by Association for Computing Machinery (ACM) ,2001
- Information and control in gray-box systemsPublished by Association for Computing Machinery (ACM) ,2001
- Dealing with disasterPublished by Association for Computing Machinery (ACM) ,1996
- Adaptive block rearrangementACM Transactions on Computer Systems, 1995
- Extensibility safety and performance in the SPIN operating systemPublished by Association for Computing Machinery (ACM) ,1995
- ExokernelPublished by Association for Computing Machinery (ACM) ,1995
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- A fast file system for UNIXACM Transactions on Computer Systems, 1984
- Operating system support for database managementCommunications of the ACM, 1981
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968