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

[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, (note)

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érication 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é.

Download

@inproceedings {
	BRS07,
	title	=	"{Coloration avec préférences dans les graphes triangulés}",
	author	=	" S. Blazy and and E. Soutif ",
	booktitle	=	"{JournÃ©es Graphes et Algorithmes, Paris}",
	year	=	2007,
	month	=	"January",
	pages	=	"32",
	note	=	"{note}",
}