| 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