Coloration avec préférences dans les graphes triangulés - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

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

Abstract

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 é.
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01125410 , version 1

Cite

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
19 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More