Abstract FR:

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