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