Accueil > Mots-clés > Topics > Compilation
Compilation
Articles
-
Recherche >
Publications >
Habilitation à Diriger des Recherches (HDR)
-
Recherche >
Étudiants/Post-docs >
Mamoudou Bah
-
Recherche >
Exposés >
Transaction-Level Models of Systems-on-a-Chip Can they be Fast, Correct and Faithful ?
-
Recherche >
Exposés >
PinaVM and Tweto : Compilation and Optimization Techniques for SystemC
-
Recherche >
Étudiants/Post-docs >
Julian Bruyat
-
Recherche >
Étudiants/Post-docs >
Guillaume Sergent
-
Recherche >
Étudiants/Post-docs >
Si-Mohamed Lamraoui
-
Recherche >
Stages/emplois >
[TAKEN] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
-
Recherche >
Étudiants/Post-docs >
Hugues de Lassus Saint-Geniès
-
Recherche >
Étudiants/Post-docs >
Julien Henry (Thèse)
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
- Transistor-level analysis of electronic circuits
- Worst Case Execution Time
Groupes de mots-clés
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License