Calcul formel et parallelisme : conception du systeme givaro et applications au calcul dans les extensions algebriques

par Thierry Gautier

Thèse de doctorat en Sciences appliquées

Sous la direction de J. DELLA DORA.

Soutenue en 1996

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    Givaro est une bibliotheque c++ de calcul formel parallele pour machine a memoire distribuee basee sur la bibliotheque d'expression du parallelisme athapascan. Dans une premiere partie de ce memoire, nous developpons les objectifs et les outils necessaires a la conception d'une bibliotheque de calcul formel pour machine parallele. Le choix d'un modele de programmation parallele permet de cerner les schemas d'algorithme parallele qui peuvent etre executes efficacement. Nous appliquons ce principe au traitement des algorithmes irreguliers, apres avoir propose une definition de cette notion. Dans une seconde partie, nous etudions la complexite parallele du calcul avec des nombres algebriques dans une representation du type de d5. Nous donnons un nouvel algorithme rapide de calcul d'une bases sans pgcd de polynomes permettant d'ameliorer la meilleure complexite parallele connue. Nous proposons alors certains choix de programmation sur une machine parallele reelle et presentons notre implementation. Quelques experimentations illustrent le fonctionnement de notre bibliotheque


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 190 P.
  • Annexes : 123 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.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.