Compilation de systemes d'equations recurrentes en reseaux de processus communicants

par MARIE-CHRISTINE EGLIN-LECLERC

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy-René Perrin.

Soutenue en 1991

à Besançon .

    mots clés mots clés


  • Résumé

    Cette these a pour objectif de proposer une nouvelle technique (et les outils associes) permettant la compilation d'un systeme d'equations recurrentes en un systeme parallele asynchrone de processus communicants. La syntaxe et la semantique denotationnelle d'un langage d'equations, nomme leq, y sont presentees. Des transformations d'enonces leq sont ensuite introduites. Elles permettent la generation d'un systeme parallele asynchrone a base de schemas producteur-consommateur lies par un medium de communication. Les transformations proposees, basees sur l'analyse de dependance de donnees et sur les proprietes des equations, sont au nombre de trois: une mise en evidence des calculs et des communications, une creation des systemes producteur-consommateur, une optimisation visant la reduction du nombre des communications. Ces trois etapes sont formalisees par des regles saines: la semantique est conservee. L'implantation de ces regles et de leurs strategies d'application, realisee dans l'environnement centaur, fournit un outil de generation d'un systeme a base de schemas producteur-consommateur via une communication a partir d'un systeme leq syntaxiquement correct. Pour terminer, nous montrons que cette nouvelle formulation du probleme peut etre interpretee comme un reseau generalise de fonctions de kahn et traduit sous la forme d'un reseau de processus communicants occam


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 246 p.
  • Annexes : 46 REF

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Cote : SCI.BESA.1991.72
  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Cote : SCI.BESA.1991.73
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.