La présentation du cours lors de la réunion du 26 janvier 2005, amphi34B.
Une présentation résumée et actualisée :
| jour | heure | salle | |
|---|---|---|---|
| cours | lundi | 8h30 | J6 |
| TD | lundi | 13h30 | J4 ou 56-66 108 |
| Semaine du | Cours | TD | Observations |
|---|---|---|---|
| 31 jan. | C-1 (introduction, propriétés de programmes séquentiels) | TD-1 et corrigé (logique des programmes séquentiels) | exemples en Spin |
| 7 fev. | C-2 (propriétés et sémantique des programmes concurrents) | TD-2 et corrigé (preuve de programmes concurrents) | exemples en Spin |
| 14 fev. | C-3 (exclusion mutuelle - algorithmes) | TD-3 (algorithmes d'exclusion mutuelle) | exemples en Spin |
| 21 fev. | C-4 (application à l'exclusion mutuelle - GC parallèle) | TP-4 (modelisation et verification avec Spin du GC parallele) | - |
| 28 fev. | C-5 (sémaphores - sémantique, exemples, implémentation) | TP-5 (cont. GC) | C-4 cont. |
| 7 mars | C-6 (sémaphores - applications) | TD-6 (sémaphores) | - |
| 14 mars | C-7 (moniteurs - notations, sémantique, implémentation) | TP-7 (programmation Pthread) | - |
| 21 mars | C-8 (moniteurs - preuve de programmes) | TD-8 et corrigé (moniteurs exemples et preuve) | Présentation du devoir |
| 28 mars | - | - | férié |
| 4 avr. | C-9 (calcul parallele, barriere) | TP-9 (moniteurs Java) | - |
| 11 avr. | C-10 (calcul parallele) | TD-10 (variables conditionelles C,calculs parallels en C) | - |
| 18 avr. | C-11 (programmation distribuee - introduction, messages asynchrones) | TP-11 (soutenance devoirs) | Collecte des devoirs |
| 9 mai | C-12 (exemples de programmation distribuee, CSP, Linda, Java) | TP-12 (programmation socket Java) | - |
| 16 mai | C-13 (RPC Java, Rendez-vous Ada) | TP-13 (programmation Ada) | - |
Pour toute information sur les cours et les TD contactez les enseignants.
Dernière modification : Mon Feb 7 11:40:08 CET 2005
URL: http://www.liafa.jussieu.fr/~sighirea/cours/concur/index.html