"Scale and Performance in the Denali Isolation Kernel."

Andrew Whitaker, Marianne Shaw, Steven D. Gribble (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics