Environnement logiciel de programmation d'un accelerateur de calcul parallele

par ZBIGNIEW CHAMSKI

Thèse de doctorat en Informatique

Sous la direction de QUINTON.

Soutenue en 1993

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les systemes d'equations recurrentes affines offrent une grande puissance d'expression sous une forme compacte et permettent d'exprimer de nombreux problemes mathematiques. Dans le cadre des travaux sur un langage formel base sur ce concept, nous etudions les solutions permettant de transformer de tels systemes d'equations en programmes paralleles qui puissent etre executes sur des calculateurs reels. Dans ce memoire, nous nous attachons a la resolution de deux problemes inherents a cette transformation: la generation de structures de donnees et la generation de structures de boucles. Pour le premier probleme, nous proposons une methode de generation et d'optimisation de tableaux qui permet d'atteindre l'efficacite des programmes optimises a la main. Pour la generation de boucles, nous ameliorons deux algorithmes de generation de nids de boucles decrits dans la litterature et nous en presentons un nouveau, utilisant une structure de boucles plus generale. Enfin, nous decrivons le principe d'une chaine de compilation complete utilisant les concepts presentes dans ce memoire


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (228 p.)
  • Annexes : 95 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D.4-CHA
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/31
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : C 2. CHA.
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.