Synthèse et simulation d'algorithmes systoliques

Synthesis and simulation of symbolic algorithm

• Auteur / Autrice : Ibrahima Sakho
• Direction : Maurice Tchuenté
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques appliquées. Analyse numérique
• Date : Soutenance en 1987
• Etablissement(s) : Grenoble INPG

Mots clés

Mots clés contrôlés

Réseaux (mathématiques)

Théorie des automates mathématiques

Réseaux systoliques

Algorithmes parallèles

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

Synchronisation

Simulation

Algorithme parallele

Analyse numerique

Evaluation

Partition

Logique booleenne

Algebre boole

Reseau

Generation

Reseau systolique

Reseau pipeline

Informatique theorique

Occam

Synchronization

Simulation

Parallel algorithm

Numerical analysis

Evaluation

Partition

Boolean logic

Boolean algebra

Network

Generation

Systolic network

Pipeline network

Computer theory

Résumé

Proposition d'une méthode dite de positionnement pour la conception d'algorithmes parallèles pour réseaux symboliques composés de cellules programmables. Simulation d'algorithmes symboliques dans le langage Occam, caractérisé par un mécanisme de synchronisation locale. Quelques résultats partiels sur une conjecture a propos du plus long cycle que peut générer séquentiellement un réseau booléen monotone sont présentés