moy
Envoyer un message privé à cet auteur
Articles de cet auteur
Poste d’ingénieur : Modèles de haut niveau pour systèmes basse consommation
mardi 15 mars 2011
Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
vendredi 30 septembre 2016
CAPACITES
mercredi 1er novembre 2017
Energy aware programming and controller synthesis
mercredi 23 septembre 2015
Kalray
vendredi 30 novembre 2018
LIBTLMPWT
mardi 17 décembre 2013
M2R : Timing analysis (WCET) of multi-core TDMA bus (2015-2016)
lundi 1er février 2016
PinaVM
mercredi 25 mars 2015
sc-during
mardi 17 décembre 2013
SR3 : Secure Resilient and Reputation-based Routing
mercredi 23 septembre 2015
STMicroelectronics
mardi 31 octobre 2017
The Lustre Programming Language and Related Tools
mercredi 23 septembre 2015
Virtual Prototyping
mercredi 23 septembre 2015
xxx
mercredi 23 septembre 2015
xxx
mercredi 23 septembre 2015
xxx
mercredi 23 septembre 2015
[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs
lundi 1er avril 2013
[M1 2013-2014] Distributed Simulation for Embedded Systems
mardi 1er avril 2014
[M1 2013-2014] Parallel programming in modeling of embedded systems
mardi 1er avril 2014
[M2R 2012-2013] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
mardi 1er avril 2014
[M2R 2012-2013] Preuve automatique de programmes
vendredi 1er février 2013
[Master 2R 2014-2015] Évaluation de performances pour les systèmes embarqués avec des méthodes formelles
mardi 15 juillet 2014
[Post Doc] Simulation précoce de Systèmes sur Puces : SystemC/TLM et plus
lundi 12 janvier 2015
[Post doc] Parallel implementations of discrete-event simulators
dimanche 1er février 2015
[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces
mercredi 1er mai 2013
