Skip to Main content Skip to Navigation
Conference papers

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 é.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01125410
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:08:54 AM
Last modification on : Monday, February 3, 2020 - 3:40:14 PM

Identifiers

  • HAL Id : hal-01125410, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

28