INF4140 - Autumn 2009

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
26.08.2009	Olaf	Delta NR (4. floor IfI)	Introduction/await-programming. Read: Chaper 1, in particular Section 1.9, and Chapter 2, in particular 2.4 through 2.6.	Foils (in Norwegian) Foils (in English) Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15.
02.09.2009	Olaf	Alfa NR (4. floor IfI)	Locks. Read Chapter 3 to 3.5.	Foils (Norwegian) Foils (English) 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
09.09.2009	Johan		Semaphores	Foils Oppgaver
16.09.2009	Johan		Monitors	Foils Exercises for next week
23.09.2009	Johan		Hoare Logic. Section 2.6 and 2.7	Foils Exercises for next week
30.09.2009	Johan		Hoare Logic	Foils Exercises for next week Compulsory assignment 2
07.10.2009	No lecture this week
14.10.2009	Martin Steffen		Concurrent programming in Java	No tutorial ("gruppetime") this week. Foils Exercises for next week
21.10.2009	Joakim		Introduction to Distributed Systems. Message passing and Channels	Foils Exercises for next week: 7.2a, 7.6, 7.8 and 7.10
28.10.2009	Joakim		RPC and rendezvous	Foils Exercises: 8.1, 8.5, 8.8a, 8.8b
04.11.2009	Olaf		Semantics of asynchronous communication I	Foils Exercises for next week . No tutorial ("gruppetime") this week.
11.11.2009	Olaf	Lille Auditorium (Ifi, 1. floor)	Semantics of asynchronous communication II	Foils Compulsory assignment 3 Exercises for next week .
18.11.2009	Olaf	Lille Auditotium (IfI, 1. floor)	Active objects I	Foils Exercises for next week: exam08
25.11.2009	Olaf	Lille Aud.	Active Objects II	Foils (updated)

Published Aug. 12, 2009 1:44 PM - Last modified Dec. 8, 2009 5:53 PM