Accéder directement au contenu

Sandrine Blazy

4
Documents
Identifiants chercheurs

Présentation

Publications

soutile
Image document

Coloration avec préférences : complexité, inégalités valides et vérification formelle

 Benoît Robillard , Sandrine Blazy , Eric Soutif
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
Communication dans un congrès inria-00260712v1
Image document

Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe

 Sandrine Blazy , Benoît Robillard , Eric Soutif
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46
Communication dans un congrès inria-00202713v1

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

 Sandrine Blazy , Benoit Robillard , Eric Soutif
Journées Graphes et Algorithmes, Paris, Jan 2007, X, France. pp.32
Communication dans un congrès hal-01125410v1

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

 Sandrine Blazy , Benoît Robillard , Eric Soutif
Journées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32
Communication dans un congrès inria-00292045v1