|
 
|
[BRS07] Coloration avec préférences dans les graphes triangulés
Conférence Nationale avec comité de lecture : Journées Graphes et Algorithmes, Paris, January 2007, pp.32,
motcle:
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 é.
Commentaires:
note
BibTeX
| @inproceedings { | |||
| BRS07, | |||
| title | = | "{Coloration avec préférences dans les graphes triangulés}", | |
| author | = | " S. Blazy and B. Robillard and E. Soutil ", | |
| booktitle | = | "{Journées Graphes et Algorithmes, Paris}", | |
| year | = | 2007, | |
| month | = | "January", | |
| pages | = | "32", | |
| note | = | "{note}", | |
| } | |||
