---

Ugeplan

• Uge [ 21 | 20 | 19 | 18 | 17 | 16 | 14 | .. | 11 | 10 | 09 | 08 | 07 | 06 | 05 ]

---

• Uge 18+19+20+21: Four-week Mini-projekt

  Mini-Project Milestones: Requirements; Model Design; Safety Analysis; Structure Diagram; UML Class Diagram; Java Implementation; Report.

  Note: Wednesday (April 28) at 08:15 - 09:00: short presentation of the mini-project in Aud. D2 (Ny Munkegade)

  april/maj 2004 -------------------- M T O T F L S 26 27 28 29 30 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 // //

Powerpoint project presentation: project.ppt

---

• Uge 17: Concurrency in C and C++

  Special guest star: Michael Caspersen

  Note: lecture Friday 23 (9:15-11:00) @ Brdr. Vestergaard, #159; no lab; no exercise class!

  Forelæsning: "A Framework for Concurrency; CC++" [ Paper | CC++ Source | Presentation ] (2 hrs) T-Opgaver: None P-Opgaver: None Aflevering: None

  april 2004 -------------------- M T O T F L S 19 20 21 22 23 24 25

---

• Uge 16: Message Passing

  Last regular lecture from the book

  Note: lecture Friday 16 (8:15-10:00) @ Brdr. Vestergaard, #159; lab (for all who didn't finish last week) at (10:15-12:00); no exercise class!

  Forelæsning: [MK 10]: concurrency-16.ppt (2 hrs) T-Opgaver: None P-Opgaver: Finish Lab 14 (...if you didn't last week) Aflevering: Railroad (on modelling and safety properties)

  april 2004 -------------------- M T O T F L S 12 13 14 15 16 17 18

---

• Uge 15: <<Påskeferie>>

  april 2004 -------------------- M T O T F L S 05 06 07 08 09 10 11

---

• Uge 14: Model-Based Design

  Forelæsning: [MK 8]: concurrency-14.ppt (2 hrs) T-Opgaver: [MK 8.1, 8.2] P-Opgaver: Lab 14 (on Modelling) Aflevering: Java af vores model af 8.1 (deadline: Tuesday, April 13 @ 23:59)

  mar/apr 2004 -------------------- M T O T F L S 29 30 31 01 02 03 04

---

• Uge 12+13: <<Kvarter pause>>

  marts 2004 -------------------- M T O T F L S 15 16 17 18 19 20 21 22 23 34 25 26 27 28

---

• Uge 11: Safety and Liveness Properties (part I+II)

  Forelæsning: [MK 7]: concurrency-11.ppt (3 hrs) T-Opgaver: [MK 7.1, 7.6, 7.2, 7.3, (exercise page 153, last line)] P-Opgaver: Lab 11 (on Safety/Liveness) Aflevering: Ingen aflevering - end of first quarter. :)

  marts 2004 -------------------- M T O T F L S 08 09 10 11 12 13 14

---

• Uge 10: Safety and Liveness Properties (part I)

  Forelæsning: [MK 7 - 7.3.2 (p. 137)] - Aflyst pga. sygdom! T-Opgaver: ingen teoretiske øvelser i denne uge... P-Opgaver: ingen programming lab i denne uge... Aflevering: River (Java condition synchronization exercise)

  marts 2004 -------------------- M T O T F L S 01 02 03 04 05 06 07

---

• Uge 09: Deadlock

  Forelæsning: [MK 6]: concurrency-09.ppt (1 hr) T-Opgaver: [MK 6.1, 6.3, 6.4] P-Opgaver: Lab 09 (on Deadlock) Aflevering: [MK 6.2]

  februar 2004 -------------------- M T O T F L S 23 24 25 26 27 28 29

---

• Uge 08: Monitors and Condition Synchronization

  Forelæsning: [MK 5]: concurrency-08.ppt (2 hrs) T-Opgaver: [MK 5.1, 5.2, 5.4] P-Opgaver: Lab 08 (on Semaphores) Aflevering: Ingen aflevering denne uge! :)

  februar 2004 -------------------- M T O T F L S 16 17 18 19 20 21 22

---

• Uge 07: Shared Objects and Mutual Exclusion

  Forelæsning: [MK 4]: concurrency-07.ppt (2 hrs) T-Opgaver: [MK 4.mini, 4.2*, 4.3] P-Opgaver: Lab 07 (on Model vs. Program & Model-checking) Aflevering: [MK 4.4 + relate (briefly) to model in 4.3 ]

  februar 2004 -------------------- M T O T F L S 09 10 11 12 13 14 15

---

• Uge 06: Concurrent Execution

  Forelæsning: [MK 3]: concurrency-06.ppt (2 hrs) T-Opgaver: [MK 3.1 (+ struktur diagram af S1), 3.X, 3.3, 3.4] P-Opgaver: Lab 06 (Java Threads) Aflevering: [MK 3.5]

  februar 2004 -------------------- M T O T F L S 02 03 04 05 06 07 08

---

• Uge 05: Introduction, Processes, and Threads

  Forelæsning: [MK 1+2]: concurrency-05.ppt (3 hrs) T-Opgaver: [MK 2.1, 2.2, 2.3, 2.4] P-Opgaver: Lab 05 (on LTSA) Aflevering: [MK 2.5]

  jan/feb 2004 -------------------- M T O T F L S 26 27 28 29 30 31 01

---