| Date | Teacher | Place | Topic | Lecture notes / comments |
| 30.08.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Introduction | Lecture notes Exercises (03.09.2012): 2.1, 2.2, 2.10, 2.12, 2.13, 2.14, 2.15 from the textbook At-Most-Once Property |
| 06.09.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Locks and Barriers | Lecture notes Exercises (10.09.2012): 2.17, 2.18, 2.33, 3.1, 3.7, 3.8 from the textbook |
| 07.09.2012 | Assignment 1 | |||
| 13.09.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | Semaphores | Recommended reading before the lecture: Ch.4. from 4.1 to 4.4. Lecture notes Exercises (17.09.2012) |
| 20.09.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | Monitors | Recommended reading before the lecture: Ch.5. from 5.1 to 5.3. Lecture notes Exercises (01.10.2012) |
| 27.09.2012 | No lecture | |||
| 28.09.2012 | Assignment 1 due 18:00 | |||
| 04.10.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | Concurrent programming in Java | Lecture notes Exercises (08.10.2012) Solve problem 1 of the 2008 exam (except 1g) here |
| 11.10.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Program analysis I | Recommended reading before the lecture: Ch 2.6 in the textbook Lecture notes Inference rules Exercises (15.10.2012) Reference for Program Verification: Micharl Huth & Mark Ryan: Logic in Computer Science - modeling and reasoning about systems, Chapter 4. (This book can be found in the IFI library). |
| 18.10.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Program analysis II | Lecture notes Detailed Proof for the Producer / Consumer Example Exercises (22.10.2012) |
| 19.10.2012 | Assignment 2 | |||
| 25.10.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | Message passing and channels | Lecture notes Exercises (29.10.12): 7.2a, 7.6, 7.8 and 7.10 from the textbook |
| 01.11.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | RPC and Rendezvous | Lecture notes Exercises (05.11.2012): 8.1, 8.5, 8.8a, 8.8b from the textbook |
| 02.11.2012 | Assignment 3 | |||
| 08.11.2012 | No lecture | |||
| 09.11.2012 | Assignment 2 due 18:00 | |||
| 15.11.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Asynchronous communication I | Lecture notes Exercises (19.11.2012) |
| 22.11.2012 | Crystal D. | OJD 1456 Sem.rom Shell | Asynchronous communication II | Lecture notes Exercises (26.11.2012) |
| 23.11.2012 | Assignment 3 due 18:00 | |||
| 29.11.2012 | Lizeth T. | OJD 1456 Sem.rom Shell | Active objects | Recommended reading Lecture notes Exercises (03.12.2012):exam 2010 Master students exam Ph.D students exam |
| 17.12.2012 | Gymsal 4 Idrettsbygningen | Final Closed Book Written Exam | 17 December at 14:30 (4 hours) |
Teaching plan
Published Aug. 23, 2012 4:39 PM
- Last modified Nov. 30, 2012 4:29 PM