Contact
Recherche
Enseignement
Outils
Personnel
Rechercher :
Matthieu Moy
Accueil
>
Mots-clés
>
Topics
>
TLM
TLM
Transaction-Level Modeling
Articles
Recherche
>
Stages/emplois
>
[PRIS] Optimisations de performances de simulateurs sur machines multi-cœurs
Recherche
>
Stages/emplois
>
[TAKEN] Visualisation graphique de traces de simulation de systèmes sur puces
Recherche
>
Stages/emplois
>
[PRIS] Simulation distribuée pour les systèmes embarqués
Recherche
>
Stages/emplois
>
[TAKEN] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
Recherche
>
Stages/emplois
>
[PRIS] Programmation parallèle pour la modélisation des systèmes embarqués
Recherche
>
Étudiants/Post-docs
>
Kevin Marquet
Recherche
>
Outils
>
sc-during : Parallel Programming on Top of SystemC
Recherche
>
Exposés
>
Modeling of Time in Discrete-Event Simulation of Systems-on-Chip
Recherche
>
Projets
>
HELP : High Level Models for Low Power Systems
Recherche
>
Outils
>
PinaVM : SystemC front-end based on LLVM
1
2
3
4
Email:
Mots-clés dans le même groupe
42
Interprétation Abstraite
Implémentation
Modèle polyédrique
Synthèse de haut niveau (HLS)
Compilation
Dataflow programs
Formal Verification
Future
Parallelism
Power-estimation
Programming languages
Real-Time Calculus
Simulation
SMT-solving
TLM
Worst Case Execution Time
Groupes de mots-clés
Co-workers
Tools
Topics
Type of Student
Year
Langue :
Français
/
English
|
Se connecter
|
Plan du site
|
RSS 2.0
Habillage visuel ©
styleshout
sous Licence
Creative Commons Attribution 2.5 License