Logo de l'E.N.T. Alsace
Thèses électroniques Service Commun de la documentation
Logo de l'Université de Strasbourg
Thèses et Mémoire de l'Université de Strasbourg

Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution: le modèle périodique-linéaire

KENMEI YOUTA, Bénédicte Ramelie (2006) Génération de programmes modèles pour la représentation et l'analyse de profils d'exécution: le modèle périodique-linéaire. Thèses de doctorat, Université Louis Pasteur.

Plein texte disponible en tant que :

PDF - Un observateur de PDF est nécessaire, comme par exemple GSview, Xpdf or Adobe Acrobat Reader
1956 Kb

Résumé

Cette thèse présente une nouvelle technique de représentation et d'analyse de traces d'exécution de programmes. Après une étude de quelques méthodes générales d'analyse de données, l'accent est mis sur une nouvelle modélisation qui consiste à exprimer le comportement à l'exécution d'un programme par un autre programme. Le programme qui exprime le comportement est constitué d'une séquence de nids de boucles dans lesquelles les fonctions de niveau les plus internes expriment les valeurs de la trace d'entrée à partir des indices de boucles. Chaque séquence de nids de boucles correspond à une définition particulière d'une phase de programme, c'est à dire un ensemble d'intervalles dépendants les uns des autres, et ces intervalles sont identifiés grâce à une méthode d'interpolation périodique et linéaire. A partir de cette représentation, on montre qu'on est en mesure d'effectuer un assez grand nombre d'analyses et d'optimisations, en s'aidant notamment des outils comme le modèle polyédrique d'analyse statique. Au final, on vérifie bien que les informations obtenues suite à notre modélisation et à l'analyse statique des nids de boucles résultants sont plus précises, mieux adaptées, et plus exploitables qu'avec des méthodes générales d'analyse de données.

Type d'EPrint:Thèse de doctorat
Sujets:UNERA Classification UNERA > ACT Domaine d'activité UNERA > ACT-10 Informatique
CL Classification > DDC Dewey Decimal Classification > 000 Informatique, information, généralités > 005 Programmation, programmes, données > 005.3 Programmes
Classification Thèses Unistra > Sciences, technologies > Informatique, information, généralités > 005 Programmation, programmes, données > 005.3 Programmes

UNERA Classification UNERA > DISC Discipline UNERA > DISC-19 Mathématiques et informatique
Code ID:1160
Déposé le :08 Novembre 2006

Administrateurs de l'archive uniquement : éditer cet enregistrement