Analyse de complexite des algorithmes : verification et inference

par VINCENT DORNIC

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Feautrier.

Soutenue en 1992

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'analyse automatique de complexite est depuis toujours un theme difficile dont l'interet n'a fait que s'accroitre avec l'arrivee des machines paralleles. En effet, le parallelisme n'est utile a une execution rapide que lorsque le temps de calcul de chaque tache est significatif. L'arret des programmes etant un probleme indecidable, l'analyse de complexite souffre de la meme limitation. De plus, l'expression des complexites necessite le choix d'une echelle de temps et d'une mesure sur les donnees. Les systemes anterieurs eludaient ces problemes par restriction du langage de programmation. Ces methodes sont inadaptees a la detection du parallelisme utile. Nous presentons trois systemes d'analyse utilisant le cadre du systeme d'effets. Introduit pour le langage fx, ce cadre de typage, general et flexible, permet d'associer des informations variees aux expressions des programmes (e. G. Effets de bords dans fx et temps d'execution dans cette these). Nos systemes sont conceptuellement nouveaux; le langage de programmation est puissant et nos systemes sont prouves corrects. Les informations obtenues constituent un support adequat a la detection du parallelisme utile sans intervention externe

  • Titre traduit

    Complexity analysis of algorithms: verification and inference


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 71 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1992

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1992PA066125
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.