CS 515 Operating Systems Design and Implementation

Parallel processing: communication and synchronization of processes in multiprocessing and distributed environments, proof of correctness. Deterministic scheduling. Introduction to queuing theory. Current research topics.