Date | Teacher | Place | Topic | Lecture notes / comments |
16.01.2013 | Olaf Owe | Introduction, motivation | Book, chapter 1 | |
23.01.2013 | Olaf Owe | Processes and Threads | Book, chapter 2 and beginning of 3 | |
25.01.2013 | Hand-Out Assignment 1 | |||
30.01.2013 | Olaf Owe | Concurrent Execution | Book, chapter 3
Exercises for next week: 3.1, 3.3, 3.4, 3.5, 3.6, 3.2, 3.7 from the book |
|
03.02.2013 | Assignment 1 due | |||
06.02.2013 | Einar Broch Johnsen | Shared Objects, Mutual Exclusion | Book, chapter 4
Exercises for next week: 4.1 to 4.4 from the book |
|
13.02.2013 | Einar Broch Johnsen | Monitors | Book, chapter 5 | |
15.02.2013 | Hand-Out Assignment 2 | |||
20.02.2013 | No lecture | |||
27.02.2013 | Einar Broch Johnsen | Semaphores, more Monitors | Book, chapter 5 | |
02.03.2013 | Assignment 2 due | |||
06.03.2013 | Einar Broch Johnsen | Deadlock | Book, chapter 6
Exercises: 6.1 to 6.4 from the book |
|
13.03.2013 | Olaf Owe | Safety and Liveness (1) | Book, chapter 7
Exercises for next week: 7.1, 7.2, 7.3 (first part), 7.6, and 7.5 (optional) from the book. Read about progress and try some of the progress questions. |
|
20.03.2013 | Olaf Owe | Safety and Liveness (2) |
Book, chapter 7 Exercises from the book chapter 7: rest of 7.3, 7.4, 7.7, 7.8. |
|
03.04.2013 | Olaf Owe | Model-based Design |
Book, chapter 8 Exercises from the book chapter 8: 8.1 - 8.3. |
|
10.04.2013 | Olaf Owe | Message Passing | Book, chapter 10
Lecture 11 |
|
12.04.2013 |
Hand-Out Assignment 3 |
|||
17.04.2013 | Einar Broch Johnsen | Dynamic Systems |
Book, chapter 9 Exercises 9.1 to 9.5 |
|
24.04.2013 | Einar Broch Johnsen | Timed Systems |
Book, chapter 12 Exercises: 12.1 to 12.5 |
|
05.05.2013 | Assignment 3 due | |||
08.05.2013 | Olaf Owe | Concurrent Architectures |
Book, chapter 11 Exercises for next week: 11.1 to 11.2 from the book, and if time, first part of exam 2012.
|
|
15.05.2013 | Einar Broch Johnsen, Olaf Owe | Guest lectures and summary | Exercises for next week: exam 2012 | |
22.05.2013 | Repetition | |||
14.06.2013 | Exam |