Conception et validation des algorithmes systoliques

• Main Author: Benaini, Abdelhamid
• Language: FRE
• Published: 1988
• Subjects: [INFO:INFO_MO] Computer Science/Modeling and Simulation; algorithme; architecture systolique; calcul formel; formulation combinatoire; élimination de Gauss; produit matriciel; réseau linéaire; simulation; validation
• Online Access: http://tel.archives-ouvertes.fr/tel-00329564; http://tel.archives-ouvertes.fr/docs/00/32/95/64/PDF/Benaini.Abdelhamid_1988_thesre.pdf

Proposition d'une formulation combinatoire pour la conception d'algorithmes de produit matriciel sur les réseaux systoliques linéaires. Étude de la validation des algorithmes systoliques. Deux logiciels sont proposes: le premier, Sisyc, est un simulateur numérique d'algorithmes systoliques; le second, sisyc2, calcule la trace symbolique des algorithmes systoliques et permet lorsqu'il est couple avec un système de calcul formel, de réaliser une simulation formelle