Lectures related to Concurrency and Mutual Exclusion

Related lectures (42)

Algorithmic Foundations for Systems Certification Log in to Mediaspace to watch this video

Explores challenges in designing systems with untrustworthy components, focusing on verification, control, and interaction in unreliable systems.

Project Presentation: Semester Projects and Topics Log in to Mediaspace to watch this video

Covers semester projects, project logistics, successful project examples, proposal writing, and various project options related to systems, threading, serverless programming, virtual memory, cloud benchmarking, and AI accelerators.