Un système formel de transformation de programmes pour leur exécution sur machines parallèles

par Xiaobo Yu

Thèse de doctorat en Informatique

Sous la direction de Traian Muntean.

Soutenue en 1992

à Grenoble INPG , en partenariat avec Laboratoire de Génie informatique (Grenoble) (laboratoire) .

Le président du jury était Yves Chiaramella.

Le jury était composé de Traian Muntean.

Les rapporteurs étaient Paul Feautrier, Philippe Jorrand.


  • Résumé

    Nous proposons un systeme de transformation des programmes paralleles qui offre des methodes et techniques formelles pour leur manipulation correcte. Le systeme est compose d'un ensemble extensible de regles de transformation et des strategies de transformation. Plusieurs aspects de la programmation parallele dans un environnement distribue sont etudies dans notre approche de transformation. Ils concernent notamment l'adaptation d'un programme parallele a une architecture parallele, l'optimisation des programmes au travers de l'extraction et de l'augmentation du parallelisme, la distribution des structures de donnees globales et la mise en uvre d'une strategie de placement de processus/processeurs. Quelques exemples d'application sont donnes

  • Titre traduit

    Occam program transformation for execution on parallel machines


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (204 p.)
  • Annexes : Bibliogr. p. 199-204 (107 REF)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 92/INPG/0146
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1992-YUX
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.