Global ETD Search

1	Conception et validation des algorithmes systoliques Benaini, Abdelhamid 26 September 1988 (has links) (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 algorithme architecture systolique calcul formel formulation combinatoire élimination de Gauss produit matriciel réseau linéaire simulation validation
2	Réseaux systoliques pour la résolution de problèmes linéaires Melkemi, Lamine 28 April 1986 (has links) (PDF) Complexité en temps du calcul du produit matriciel sur la classe des réseaux rectangulaires. Algorithmes systoliques pour la multiplication de deux matrices. Détection en temps linéaire des carres d'un mot par des réseaux systoliques. architectures systoliques formulation combinatoire complexité réseaux programmables accès-mémoire mots sans carrés