Special Topics in Theory

Topics classes in systems vary from year to year. The following are some classes that have been offered in the past or are expected to be offered in the future:

Mobile Computing — Covers several current state-of-the-art topics within mobile computing. Topics include wireless network technology, reliable distributed file systems, location discovery, wireless routing, and location management and prediction.

Fault-Tolerant Computing — Starts out by studying fundamental probabilistic analysis techniques. Thoroughly discusses the types of failures (faults) that can occur in computer systems, and studies possible remedies for them: Process failures include crash failure and arbitrary failure. Failures in communication systems involve communication link failure, transmission error (corrupted bits), network partition, and so on. Topics include system reliability and availability, failure detection and correction algorithms, error-correcting codes.