Maria Ayala (LAAS, Toulouse)

"Ordonnancement Cyclique sous Contraintes de Ressources Cumulatives"

Le problème d'ordonnancement cyclique consiste à ordonner dans le temps l'exécution répétitive (boucle)
d'un ensemble d'opérations liées par des contraintes de précédence, en utilisant un nombre limité de
ressources. L'ordonnancement modulo est une structure d'ordonnancements cycliques 1-périodiques
avec période entière qui crée des liens entre les itérations successives d'une boucle. Dans ce travail,
nous montrons les différents formulations de programmation linéaire en nombres entiers et de leur resolution
par des techniques de séparation et génération de colonnes pour trouver un ordonnancement
valide pour une boucle afin qu'elle puisse être superposée plusieurs fois dans un intervalle constant,
que nous appelons intervalle d'initiation ou période.


Mots-clés : ordonnancement d'instructions, ordonnancement "modulo", programmation linéaire en nombres entiers,
génération de colonnes.