Theorie et pratique de la concurrence

Master 1 Ingénierie Informatique de Paris 7

Année 2006-2007



Présentation

La présentation officielle du cours dans la maquette du Master1.

Une présentation résumée et actualisée :

Pré-requis :
système, logique
Objectif :
Plan du cours (voir aussi le calendrier) :
Bibliographie et liens :

Organisation


Calendrier et polycopies

Attention, ce calendrier est sujet à des modification. Consultez-le régulièrement!
Semaine duCoursTDObservations
22 jan. C-1 (introduction, abstraction des programmes concurrents) -
29 jan. C-2 (algorithmes d'exclusion mutuelle) TD-1 (proprietes et preuve de programmes) exemples en Spin
5 fev. C-3 (exclusion mutuelle cont.) TP-2 (introduction à Spin/Promela) exemples en Spin
12 fev. C-4 (sémaphores - sémantique, exemples, implémentation) TD-3 (verification de l'exclusion mutuelle) -
19 fev. C-5 (sémaphores cont.) TD-4 (sémaphores) -
26 fevr. C-6 (moniteurs) TD-5 (vérification avec sémaphores) -
5 mars C-7 (moniteurs en Java) TD-6 (moniteurs) devoir
12 mars C-8 (communication par messages, rendez-vous, RPC) TD-7 (moniteurs en Java) -
19 mars C-9 (Linda) TD-8 -
26 mars - TP-9 (Linda) -
2 avr. C-10 (introduction a l'algorithmique distribuee) TD-10 -
23 avr. C-11 (algorithmique distribuee) TD-11 -

Annales et archives


Dernière modification : Sun Jan 28 21:41:14 CET 2007
URL: http://www.liafa.jussieu.fr/~sighirea/cours/concur/index.html

Valid HTML 4.0!