Accueil > Mots-clés > Year > 2018
2018
Articles
-
Recherche >
Étudiants/Post-docs >
Amaury Graillat (PhD)
-
Recherche >
Étudiants/Post-docs >
Alexandra Dobre
-
Recherche >
Exposés >
Transaction-Level Models of Systems-on-a-Chip Can they be Fast, Correct and Faithful ?
-
Recherche >
Étudiants/Post-docs >
Bilel Aouadhi
-
Recherche >
Stages/emplois >
[CANCELED] [M2 Research] Code Generation for Simulation of Parallel Process Networks
-
Recherche >
Stages/emplois >
[Master 2 Recherche] Ordonnancement de processus sous contrainte de pipeline
-
Recherche >
Étudiants/Post-docs >
Ligia Novacean
-
Recherche >
Stages/emplois >
[CANCELED][Thèse] Vérification formelle de réseaux de processus comme représentation intermédiaire d’un compilateur
-
Recherche >
Stages/emplois >
Parallélisation automatique d’operations sur matrices creuses
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License