 |
Compilation de problèmes d'ordonnancement à l'aide de groupes d'opérations permutables
1 : Institut de recherche en informatique de Toulouse
université Toulouse 1 Capitole, Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse - Jean Jaurès, Université Toulouse III - Paul Sabatier, Université Fédérale Toulouse Midi-Pyrénées : UMR5505, Centre National de la Recherche Scientifique, Institut National Polytechnique (Toulouse)
2 : ANITI
ANITI
3 Rue Tarfaya, 31400 Toulouse, France -
France
3 : Laboratoire dánalyse et dárchitecture des systèmes
Université Toulouse - Jean Jaurès, université Toulouse 1 Capitole, Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique : UPR8001, Université Toulouse III - Paul Sabatier, Institut National des Sciences Appliquées - Toulouse, Institut National des Sciences Appliquées, Institut National Polytechnique (Toulouse)
7 Av du colonel Roche 31077 TOULOUSE CEDEX 4 -
France
4 : Laboratoire d'analyse et d'architecture des systèmes
(LAAS)
CNRS : UPR8001, Université Paul Sabatier [UPS] - Toulouse III, Institut National Polytechnique de Toulouse - INPT, Institut National des Sciences Appliquées (INSA) - Toulouse, Institut National des Sciences Appliquées [INSA] - Toulouse
7 Av du colonel Roche 31077 TOULOUSE CEDEX 4 -
France
5 : ANITI
ANITI
6 : Institut de recherche en informatique de Toulouse
université Toulouse 1 Capitole, Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse - Jean Jaurès, Université Toulouse III - Paul Sabatier, Université Fédérale Toulouse Midi-Pyrénées : UMR5505, Centre National de la Recherche Scientifique, Institut National Polytechnique (Toulouse)
118 Route de Narbonne, F-31062 Toulouse Cedex 9 -
France
Dans ce papier, nous tentons d'éclairer l'approche des groupes d'opérations permutables sous la lumière du formalisme de la compilation de connaissances.
Nous étudions les possibilités et les intérêts de la compilation d'un problème à une machine vers le language des listes de groupe d'opérations permutables, en posant les
bases d'une carte de compilation pour les problèmes d'ordonnancement.
