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
- Valid CSS 2.1
- Valid XHTML Basic 1.1
- Triple-A conformance Web Content Accessibility Guidelines 2.0
-
Calculé le 21 janvier 2021 à 12h32min
par DidacSPIP
Université Pierre et Marie Curie - Mobile OK
- SPIP