THINK: A Software Framework for Component-based Operating System Kernels (2002)

by Jean-Philippe Fassino , Jean-Bernard Stefani , Julia Lawall , Gilles Muller
Citations:77 - 5 self

Active Bibliography

14 Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages – Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Merillon, Laurent Reveillere - 2000
12 A Survey on Customizability in Operating Systems Research – G. Denys, F. Piessens, F. Matthijs - 2002
1 Providing Quality of Service Guarantees to Networked Applications Using the Nemesis Operating System – Thiemo Voigt, Copyright Thiemo Voigt - 1999
232 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
4 High Performance Application-Specific Networking – Deborah Anne Wallach - 1997
18 Adapting Distributed Applications Using Extensible Networks – Scott Thibault, Jerome Marant, Gilles Muller - 1999
4 Mutable Protection Domains: Towards a Component-based System for Dependable and Predictable Computing ∗ – Gabriel Parmer, Richard West
8 Fast, Optimized Sun RPC Using Automatic Program Specialization – Gilles Muller, Renaud Marlet, Calton Pu, Ashvin Goel, Eugen-Nicolae Volanschi, Charles Consel - 1998
606 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
Isolating Operating System Extensions in User-mode Processes – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
49 Java operating systems: Design and implementation – Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau - 1998
6 An efficient end-host architecture for cluster communication services – Xin Qi, Gabriel Parmer, Richard West - 2004
28 Constructing Services with Interposable Virtual Hardware – Andrew Whitaker , Richard S. Cox, Marianne Shaw, Steven D. Gribble - 2004
2 Efficient End-Host Architecture for High Performance Communication Using User-Level Sandboxing – Xin Qi, Gabriel Parmer, Richard West, Jason Gloudon, Luis Hernandez - 2004
72 Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java – Godmar Back, Wilson C. Hsieh, Jay Lepreau - 2000
114 The performance of µ-kernel-based systems – Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter - 1997
The Performance of – Kernel-Based Systems Hermann, Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, Jean Wolter - 1997
79 Self-paging in the nemesis operating system – Steven M. Hand - 1999
4 Design and Implementation of K42's Dynamic Clustered Object Switching Mechanism – Kevin Hui, Kevin Hui - 2000