ECE 7400

Concurrent Programming

Lec 001 selected

Surveys parallel and distributed architectures and examines patterns of concurrent program design; correctness of concurrent programs: safety and liveness properties, proof of properties; synchronization using locks, semaphores, and monitors; communication using message passing and remote procedures; parallelization for high-performance computation and advanced topics such as scientific applications, distributed systems, model checking, and transaction processing.

Sections

Lecture

Syllabus

Have the syllabus for ECE 7400? Share it and everyone gets the grading, textbooks and rules.