Abstract FR:

La premiere partie de cette these est consacree a l'etude de la parallelisation de systemes d'equations recurrentes affines parametres. Un systeme d'equations recurrentes est equivalent a un nid de boucles a assignation unique. Ce travail donne en particulier une methode de recherche des fonctions de cadencement et d'allocation par variable permettant de minimiser les communications dans le reseau de processeurs cible. Les contraintes de comptabilite entre cadencement et allocation sont egalement prises en compte. Le modele geometrique utilise depuis de nombreuses annees dans l'analyse de dependances de nids de boucles ou de systemes d'equations recurrentes repose sur l'utilisation de polyedres convexes. Lorsque le systeme d'equations recurrentes est parametre, les polyedres sont parametres. La necessite de connaitre les sommets de polyedres parametres est mise en evidence dans cette premiere partie. La deuxieme partie est une etude des polyedres parametres et de leur utilisation dans le domaine de la parallelisation automatique. Une methode originale de recherche des sommets de polyedres parametres, valides par domaines sur les parametres, y est notamment decrite. Le deuxieme chapitre de cette partie presente quelques applications de ces resultats en parallelisation automatique.