A Caching Model of Operating System Kernel Functionality.

David R. Cheriton, Kenneth J. Duda

Browse the full OSDI paper archive.