|
 
|
[RS10] Vérification formelle et optimisation de l’allocation de registres
Mémoire de Thèse : Soutenue le: 30 October 2010, pp. 180, pp.: Directeur:Eric Soutif, Sandrine Blazy, Catherine DuboisRapporteur 1:Alain Darte,Christine Paulin-Mohring
Rapporteur 2:Dominique De Werra
Membre du jury:Xavier Leroy
Membre du jury:
Membre du jury:, : Vérification formelle et optimisation de l’allocation de registres ,
motcle:
Résumé:
Vérification formelle et optimisation de l’allocation de registres
Commentaires:
Thèse transverse effectuée dans les équipes OC et CPR.
BibTeX
| @phdthesis { | |||
| RS10, | |||
| title | = | "{Vérification formelle et optimisation de l’allocation de registres }", | |
| author | = | "B. Robillard and E. Soutil", | |
| year | = | 2010, | |
| pages | = | "180", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{Thèse transverse effectuée dans les équipes OC et CPR. Directeur:Eric Soutif, Sandrine Blazy, Catherine Dubois Rapporteur 1:Alain Darte,Christine Paulin-Mohring Rapporteur 2:Dominique De Werra Membre du jury:Xavier Leroy Membre du jury: Membre du jury:}", | |
| } |
