Skip to Main content Skip to Navigation
Theses

Validation et mise en oeuvre de la synchronisation dans un système multiprocesseur à mémoire dupliquée

Résumé : 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'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00178835
Contributor : Anne Bergez <>
Submitted on : Friday, October 12, 2007 - 12:03:47 PM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Monday, June 27, 2011 - 3:50:02 PM

File

2237.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-00178835, version 1

Citation

Guy Latapie. Validation et mise en oeuvre de la synchronisation dans un système multiprocesseur à mémoire dupliquée. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 1980. Français. ⟨tel-00178835⟩

Share

Metrics

Record views

294

Files downloads

277