Date: Sun, 09 Mar 1997 20:22:59 +0100 From: Marc Daumas To: "LIP, Tous" , "MIM, Profs" , "MIM94, Eleves" , "MIM95, Eleves" , "MIM96, Eleves" , "Ortega, Hughette" , "DMI,Secretariat" Subject: Seminaire d'Informatique des Eleves [11/03] Bonjour, Le prochain séminaire d'informatique des élèves nous sera présenté mardi 11 mars par Alain Darte. Ancien élève de l'ENS de Lyon, Alain Darte est maintenant chargé de recherches au CNRS. Il fait partie de l'équipe APTE (Automatic Parallelization, Tools and Environments) du LIP. Les horaires du séminaire des élèves sont inchangés 13h30-14h30. Attention, nous restons dans l'amphi B jusqu'à la fin de l'année. Titre ----- Systèmes d'équations récurrentes uniformes. Résumé ------ Les systèmes d'équations récurrentes uniformes ont été introduits en 1967 par Karp, Miller et Winograd initialement pour tenter de comprendre la structure des calculs liés à la résolution d'équations aux dérivées partielles par la méthode des différences finies. Par la suite, les systèmes d'équations récurrentes uniformes ont été utilisés dans des domaines tres variés, comme les réseaux de Petri, les réseaux systoliques ou la parallélisation automatique de boucles dans les langages impératifs. Dans mon exposé, je me contenterai de détailler l'aspect le plus "ludique" des équations récurrentes uniformes: le problème de la calculabilité (lié à des propriétés de graphes pondérés par des vecteurs multi-dimensionnels) et le problème de l'ordonnancement (lié à des propriétés de programmation linéaire). J'indiquerai, au travers d'exemples, les applications possibles de ces résultats, pour la synthèse automatique de réseaux systoliques, et pour la parallélisation de boucles imbriquées. -- Marc Daumas - www.ens-lyon.fr/~daumas LIP - ENS Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE Ph : (+33) 72 72 82 29 - Fx : (+33) 72 72 80 80