ECS 251, Operating Systems

Winter Quarter, 2000

Department of Computer Science, UC Davis

Introduction

A survey of formal models for the study of operating systems. Modeling of parallel processes and their synchronization in terms of partial orderings and procedure relations. Deterministic and probabilistic models for the evaluation of system performance.
Prerequisites

This contains the index to all handouts and notes for ECS 251, Winter Quarter 2000.

Class Information

Exam

Homework

Handouts


Send email to cs251@csif.cs.ucdavis.edu.

Department of Computer Science
University of California at Davis
Davis, CA 95616-8562


Page last modified on 3/7/2000