| Date | Teacher | Place | Topic | Lecture notes / comments |
| 27.08.2008 | Olaf? | ? | Introduction/await-programming. Read: Chaper 1, in particular Section 1.9, and Chapter 2, in particular 2.4 through 2.6.? | Foils .Exercises for next week: 2.1, 2.2, 2.7, 2.10, 2.12, 2.13, 2.14, 2.15.? |
| 03.09.2008 | Olaf? | ? | Locks. Read Chapter 3 to 3.5.? | Foils .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. ? |
| 10.09.2008 | Marcel? | ? | Hoare Logic (read section 2.6 and 2.7)? | Foils .Exercises for next week: Exercises? |
| 17.09.2008 | Joakim? | ? | Semaphores? | Foils .Exercises .? |
| 24.09.2008 | Joakim? | alfa? | Monitors? | FoilsExercises? |
| 01.10.2008 | Marcel ? | ? | Hoare Logic ? | FoilsExercises Compulsory assignment 2Inference rules handout ? |
| 08.10.2008 | No lecture this week? | ? | ? | ? |
| 15.10.2008 | Joakim? | ? | Concurrent programming in Java? | FoilsWe'll continue last weeks exercises? |
| 22.10.2008 | Joakim? | ? | Introduction to Distributed Systems. Message passing and Channels? | Chap. 7.1-7.3, 7.5. Foils? |
| 29.10.2008 | Martin? | ? | RPC and rendezvous ? | Chap. 7.4, 8.1-8.4. Foils .Exercises for next week: 8.1, 8.5, 8.8a, 8.8b ? |
| 05.11.2008 | Olaf? | ? | Semantics of asynchronous communication I? | Foils .Exercises .Compulsory assignment 3? |
| 12.11.2008 | Olaf? | ? | Semantics of asynchronous communication II? | Foils .Exercises ? |
| 19.11.2008 | Olaf? | alfa? | Active objects I? | Foils Exercises: oblig 2 and if time exam 06? |
| 26.11.2008 | Marcel? | alfa? | Active objects II? | "Foils"? |
Teaching plan
Publisert 18. aug. 2008 17:07
- Sist endret 2. sep. 2009 10:50