Méthodes et algorithmes pour l'évaluation des performances des systèmes informatiques à grand espace d'états

par Anne Benoit

Thèse de doctorat en Informatique

Sous la direction de Brigitte Plateau.

Soutenue en 2003

à Grenoble INPG .

    mots clés mots clés


  • Résumé

    Les chaînes de Markov facilitent l'analyse des performances des systèmes dynamiques dans de nombreux domaines d'application. Cette thèse présente le formalisme des réseaux d'automates stochastiques pour représenter des systèmes markoviens. Le principal objectif des travaux consiste à améliorer les méthodes existantes pour evaluer les performances de systèmes informatiques à grand espace d'états. Pour cela, nous introduisons le concept de réseaux d'automates stochastiques avec réplication, ainsi que des techniques pour simplifier le modèle étudié en réduisant la taille de l'espace d'états. Pour rechercher des indices de performances, on propose une amélioration de l'opération de base en tenant compte du fait que dans de nombreux modèles, la proportion d'états accessibles est faible. Les méthodes et algorithmes développés au cours de la thèse ont été implémentés dans le logiciel {\em PEPS~2003}. Des exemples numériques sont présentés pour illustrer les apports de cette thèse.

  • Titre traduit

    Methods and algorithms for the performance evaluation of systems with a large state space


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 2004 par [CCSD] [diffusion/distribution] à Villeurbanne

Méthodes et algorithmes pour l'évaluation des performances des systèmes informatiques à grand espace d'états

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (168 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 161-167

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : TS03/INPG/0040
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS03/INPG/0040/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.