ECS 251, Operating Systems

Winter Quarter, 2001

Department of Computer Science, UC Davis


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.

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

Class Information

  • General Information
  • Syllabus
  • Project
  • All About Homework
    The above are in one document: [FM] [PDF] [PS] [TXT]



    Lecture Outlines


    These are printed on the lecture outlines.

    Matt Bishop
    Office: 3059 Engineering Unit II Phone: +1 (530) 752-8060
    Fax: +1 (530) 752-4767
    Copyright Matt Bishop, 2001. All federal and state copyrights reserved for all original material presented in this course through any medium, including lecture or print.

    Page last modified on 3/5/2001