| week | dag | onderwerp | tentamenstof | kleine huiswerkopgaven |
|---|---|---|---|---|
| 6 | di 6 februari | Overzicht (pdf) | 2.1 t/m 2.4 | - |
| 7 | di 13 februari | Processen (pdf) en Threads (pdf) | 3.1 t/m 3.4, 4.1 | opgaven 3.3 en 3.4 |
| 8 | di 20 februari | Carnaval | - | - |
| 9 | di 27 februari | SMP (pdf) en Mutual Exclusion (pdf) | 4.2, 5.1, 5.2 em Appendix A.1 | maak opgave 5.5 met Uppaal, oplossing |
| 10 | di 6 maart | Semaforen (pdf), Semaforen in Uppaal | 5.3 | - |
| 11 | di 13 maart | Monitoren, Message Passing, Deadlock (pdf) | 5.4 t/m 5.7, 6.1, 6.2, 6.5, 6.6 | opgaven 5.11, 5.17 en 6.17, bij elkaar 3 bonuspunten (wel gedetaileerde uitwerkingen!). Oplossing 5.11 in Uppaal: xml and q. Oplossing 5.17. |
| 13 | di 20 maart | Onmogelijkheidsresultaat Lynch & Burns (pdf), paper Burns and Lynch | - | - |
| 14 | di 27 maart | Scheduling (pdf) | 9.1 t/m 9.4 (behalve sectie over Queuing Analysis) | opgave 9.1 |
| 16 | di 3 april | Bespreking kleine opgaven | - | - |
| 15 | di 10 april | Multiprocessor en real-time scheduling (ppt), What really happened on Mars Rover Pathfinder | 10.1 en 10.2 | opgaven 9.3, 9.15, 10.2 en 10.3 |
| 20 | di 15 mei | Tentamen | - | - |