Thèse soutenue

Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Jean-Louis Roch
Direction : Jean Della Dora
Type : Thèse de doctorat
Discipline(s) : Mathématiques appliquées
Date : Soutenance en 1989
Etablissement(s) : Grenoble INPG
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006)

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de base est discutée et expérimentée