Master 2012 2013
Stages de la spécialité SAR
Translation validation for synchronous data-flow equations in a Lustre compiler


Site :Département d’Informatique, École Normale Supérieure,
Lieu :Département d’Informatique, École Normale Supérieure, 45 rue d’Ulm, 75230 Paris cedex 05.
Encadrant : Marc Pouzet, Francesco Zappa Nardelli
Dates :01/04/2013 au 31/08/2013 (à discuter)
Rémunération :500E
Mots-clés : Parcours SAR autre qu’ATIAM, recherche, Parcours SAR, aussi pour STL

Description