Coloration avec préférences dans les graphes triangulés - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Coloration avec préférences dans les graphes triangulés

Résumé

Résumé : Le travail présenté dans cet exposé est à l'interface entre la recherche opé- rationnelle et les méthodes formelles. Il s'inscrit dans le cadre du projet Compcert ayant pour but le développement et la véri cation formelle, utilisant l'assistant de preuve Coq, d'un compilateur de langage C potentiellement utilisable pour la production de logiciels embarqués critiques. Nous nous intéressons dans cet exposé à la phase de la compilation consistant à optimiser l'utilisation des registres du processeur. Nous proposons d'aborder cette optimisation en résolvant un problème dit de coloration avec préférences qui généralise deux problèmes classiques d'optimisation combinatoire : la coloration et la multicoupe minimale. L'algorithme proposé est par ailleurs formellement véri é.
Fichier non déposé

Dates et versions

hal-01125410 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125410 , version 1

Citer

Sandrine Blazy, Benoit Robillard, Eric Soutif. Coloration avec préférences dans les graphes triangulés. Journées Graphes et Algorithmes, Paris, Jan 2007, X, France. pp.32. ⟨hal-01125410⟩

Collections

CNAM CEDRIC-CNAM
21 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More