Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle
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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1989
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00334457 http://tel.archives-ouvertes.fr/docs/00/33/44/57/PDF/Roch.Jean-Louis_1989_these.pdf |
| Summary: | 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 |
|---|