The Design of the Venus Operating System.
A Hardware Architecture for Implementing Protection Rings.
An Operating System Based on the Concept of a Supervisory Computer.
Properties of the Working Set Model.
TENEX, a Paged Time Sharing System for the PDP-10.
A Comparative Analysis of Disk Scheduling Policies.
Synchronization of Communicating Processes.
A Study of Storage Partitioning Using a Mathematical Model of Locality.