Résumé: L'evaluation de performances est primordiale pour la conception et le developpement des systemes informatiques. Ces derniers sont de plus en plus complexes et leur modele sont de plus en plus gros. Pour resoudre ces modeles sur un calculateur, nous sommes confrontes a deux problemes: la capacite memoire et la rapidite avec laquelle on resout ces modeles. L'avenement des calculateurs paralleles constitue une bonne opportunite pour resoudre ces deux problemes. Dans cette these, nous allons mettre en service le parallelisme pour resoudre les problemes de l'evaluation de performance. Dans le cadre du calcul parallele, nous abordons un probleme essentiel qui est le cout des communications dans les machines a memoires distribuees. Une autre composante importante en parallelisme est le placement des donnees. Nous verrons l'impact de differents placements de donnees pour effectuer le produit vecteur-matrice qui constitue la brique de base des methodes numeriques iteratives pour resoudre les modeles. Nous proposons des schemas iteratives pour resoudre les problemes markoviens. D'autre part, nous avons developpe une parallelisation du solveur de modeles issus des reseaux d'automates stochastiques. En resolvant des problemes de placement de taches et en reduisant le cout des communications, cette parallelisation nous permet de traiter des modeles de l'ordre de plusieurs millions d'etats en un temps de calcul raisonnable

Edition: Grenoble: Institut National Polytechnique de Grenoble
Langue: Français
Collation: 228 p. ill. ;30 cm
Diplôme: Doctorat
Etablissement de soutenance: Institut national polytechnique de Grenoble
Spécialité: Informatique
Index décimal 004.2 .Analyse, conception et évaluation des systèmes informatiques ; architecture et évaluation des performances des ordinateurs
Thème Informatique

Mots clés:
Systèmes virtuels (informatique)
Parallélisme (Informatique)
Markov, Processus de

Note: Annexe pp.185-224; Bibliogr.pp.225-228