Principles of Computer Systems, Spring 2002

Abstract:

An introduction to the basic principles of computer systems with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. Particular attention paid to concurrent and distributed systems. Topics include: specification and verification, concurrent algorithms, synchronization, naming, Networking, replication techniques (including distributed cache management), and principles and algorithms for achieving reliability.

Subject:

Science and Technology

Grade Level:

Post-secondary

Collection:

MIT OpenCourseWare