Validation et mise en oeuvre de la synchronisation dans un système multiprocesseur à mémoire dupliquée
ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU&#...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paul Sabatier - Toulouse III
1980
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00178835 http://tel.archives-ouvertes.fr/docs/00/17/88/35/PDF/2237.pdf |