INF3140 - Høst 2006

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
29.08.2006	Olaf		Introduction. await-programming.	Notes Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15 (from the book/copy as handed out)
05.09.2006	Johan		Locks	Slides Exercises for next week: 2.17, 2.18, 2.33, 3.1, 3.6, 3.8, 3.3, 3.7, (3.9a). Please remember to check the list of misprints before doing the execises. Compulsory assignment 1 . Please read the Departmental guidelines for written assignments: Norwegian English
12.09.2006	Johan		Semaphores	Chap. 3.4, 4.1-4.3 Slides . Exercises for next week Some example programs
19.09.2006	Johan		Semaphores/Hoare Logic	Chap. 4.4-4.5, 2.6 Slides . Exercises for next week
26.09.2006	Johan		Hoare Logic	Chap. 2.6-2.7. Slides . Exercises for next week.
03.10.2006	Johan		Monitors	Chap. 5.1-5.3 Slides
10.10.2006		No lecture this week		Exercises for next week
17.10.2006	Bjarte M. Østvold, Norsk Regnesentral		Concurrent programming in Java	Chap. 5.4, Java concurrency support Slides and monitor example Exercises for next week
24.10.2006	Bjarte		Message passing	Chap. 7.1-7.3, 7.5. Slides Exercises for next week
31.10.2006	Bjarte		RPC and rendezvous	Chap. 7.4, 8.1-8.4. Slides Exercises for next week: 8.1, 8.5, 8.8a, 8.8b
07.11.2006	Olaf		Semantics of asynchronous communication	Slides (updated). Oppgaver
14.11.2006	Olaf		Semantics of asynchronous communication	Slides (updated) Oppgaver
21.11.2006	Marcel Kyas			Slides
28.11.2006	Marcel			Slides. Solutions. Background material: Janssen Gallager (These papers are not part of the syllabus.)

Publisert 21. aug. 2006 18:25 - Sist endret 7. des. 2006 12:35