Abstract FR:

Cette these a pour objectif de proposer une nouvelle technique (et les outils associes) permettant la compilation d'un systeme d'equations recurrentes en un systeme parallele asynchrone de processus communicants. La syntaxe et la semantique denotationnelle d'un langage d'equations, nomme leq, y sont presentees. Des transformations d'enonces leq sont ensuite introduites. Elles permettent la generation d'un systeme parallele asynchrone a base de schemas producteur-consommateur lies par un medium de communication. Les transformations proposees, basees sur l'analyse de dependance de donnees et sur les proprietes des equations, sont au nombre de trois: une mise en evidence des calculs et des communications, une creation des systemes producteur-consommateur, une optimisation visant la reduction du nombre des communications. Ces trois etapes sont formalisees par des regles saines: la semantique est conservee. L'implantation de ces regles et de leurs strategies d'application, realisee dans l'environnement centaur, fournit un outil de generation d'un systeme a base de schemas producteur-consommateur via une communication a partir d'un systeme leq syntaxiquement correct. Pour terminer, nous montrons que cette nouvelle formulation du probleme peut etre interpretee comme un reseau generalise de fonctions de kahn et traduit sous la forme d'un reseau de processus communicants occam