UGE 04: Processes and Threads Forelæsning: [MK, chap. 1+2, pages 1-31]: 2-Processes.ppt Øvelser: [MK 2.1, 2.2*, 2.3, 2.4], *) the read action will read the last value written. Lab: lab-04 Aflevering: [MK 2.5], "Sugarola"

January 2005 M T O T F L S 24 25 26 27 28 29 30

UGE 05: Concurrent Execution Forelæsning: [MK, chap. 3, pages 37-61]: 3-ConcurrentExecution.ppt Øvelser: [MK 3.1, 3.2, 3.3, 3.5, 3.X] Lab: lab-05 Aflevering: "Museum"

Jan/Feb 2005 M T O T F L S 31 01 02 03 04 05 06

UGE 06: Shared Objects and Mutual Exclusion Forelæsning: [MK, chap. 4, pages 63-77]: 4-SharedObjectsAndMutualExclusion.ppt Øvelser: [MK Equiv, 4.1 (without the actual programming), 4.X, 4.3] Lab: lab-06 Aflevering: "Reservation System" (~ [MK 4.3]); deadline 17/02.

February 2005 M T O T F L S 07 08 09 10 11 12 13

UGE 07: Monitors and Condition Synchronization Forelæsning: [MK, chap. 5, pages 79-104]: 5-MonitorsAndConditionSynchronization.ppt Øvelser: [MK 5.1, 5.2, 5.3 (~ your Museum model), 5.4] Lab: lab-07 Aflevering: "River"

February 2005 M T O T F L S 14 15 16 17 18 19 20

UGE 08: Invariants and Deadlock Forelæsning: [Note: invarianter.pdf (20 pages)]: 6-Invariants.ppt [MK, chap. 6, pages 107-119]: 6-Deadlock.ppt + reread [MK, chap. 5.5] Øvelser: [MK Invariants, 6.1, 6.3, 6.4] Lab: lab-08 Aflevering: [MK 6.2], "Butler"

February 2005 M T O T F L S 21 22 23 24 25 26 27

UGE 09: Safety and Liveness Properties Forelæsning: [MK, chap. 7, pages 121-155]: 7-SafetyAndLivenessProperties.ppt Øvelser: [MK 7.6, 7.1, 7.2, 7.3] Lab: lab-09 Mini-projekt: "Railroad" (Deadline: Sunday, March 13, 23:59)

Feb/Mar 2005 M T O T F L S 28 01 02 03 04 05 06

UGE 10: Model-Based Design Forelæsning: [MK, chap. 8, pages 159-180]: 8-ModelBasedDesign.ppt Øvelser: [MK 8.1, 8.2, Properties, Interleaving] Lab: lab-10 Mini-projekt: "Railroad" (Deadline: Sunday, March 13, 23:59)

March 2005 M T O T F L S 07 08 09 10 11 12 13

UGE 11/12/13: Eksamensperiode Eksamen [ pensum ] Individuel multiple-choice assignment (Friday, March 18, 2005: 10:00-11:30 [ Shannon-159 ]) 4 sample questions

Mar/Apr 2005 M T O T F L S 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 01 02 03

Claus Brabrand (March 2, 2005)