thesis

Modélisation du parallélisme et de la synchronisation

Defense date:

Jan. 1, 1992

Edit

Institution:

Grenoble INPG

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Le travail dans ces axes a motivé la conception d'une méthodologie efficace permettant de modéliser des systèmes dont le fonctionnement est régi par des activités parallèles et des points de synchronisation. Cette méthodologie est formalisée par le modèle réseaux d'automates stochastiques (ras). Ce modèle est étudié sous des hypothèses markoviennes.

Abstract FR:

Devant la complexité croissante des systèmes actuels, des outils de modélisation performants ont été élaborés pour analyser leur comportement dynamique. La performance de ces outils se trouve souvent confrontée aux trois axes suivants: la puissance d'expression, la puissance d'analyse de systèmes de taille importante et la puissance de résolution numérique ou analytique.