Automaf : un système de construction d'automates synchronisés et de calcul de mesure du parallélisme

par Dominique Geniet

Thèse de doctorat en Informatique

Sous la direction de Joffroy Beauquier.

Soutenue en 1989

à Paris 11 .


  • Résumé

    Nous présentons la construction d'un logiciel d'édition d'automates finis et de calcul de mesure du parallélisme. Dans ce but, l'algorithme du calcul de l'intersection de langages rationnels est étendu, et la technique de calcul de la mesure du parallélisme de Beauquier, Bérard et Thimonier est améliorée. Dans une première partie, nous précisons les modèles théoriques sur lesquels s'appuient l'implémentation et la nouvelle méthode de calcul de mesure. Ensuite, les algorithmes utilisés sont décrits et commentés. Puis la structure interne du logiciel Automaf est décrite, accompagnée d'un manuel d'utilisation. Nous donnons enfin quelques exemples de sessions, basés sur des problèmes classiques.

  • Titre traduit

    Automaf : a synchronized automation building and concurrency measure software


  • Résumé

    We present the building of a finite automata and concurrency measure software. To this end, the algorithm of intersection of regular languages is extended, and the computation technics for the Beauquier, Bérard and Thimonier's concurrency measure is improved. In a first part, we present the theoretical models used by the soft, and the new computing technics for the measure. Next, the used algorithms are described and commented on. Then, the internal structure of Automaf is described, and a user manual is joined. Finally, we present some execution examples, based on classical problems.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1989)178
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035454
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.