Modélisation et Simulation des réseaux
-
Introduction à la répartition, aux systèmes répartis et à la programmation d'applications réparties
-
Expression des activités parallèles : processus et threads
-
Modèles de parallélisme : synchrone, asynchrone
-
Mécanismes de communication et de synchronisation
-
variables partagées, envoi de messages
-
verrou, sémaphore, moniteur, rendez-vous
-
Exclusion mutuelle
-
Allocation de ressources
-
Schéma producteur-consommateur, lecteur-rédacteur, ...
-
Eléments de spécification et de vérification
-
Mise en oeuvre (UNIX et Java)