Accueil > Mots-clés > Topics > Synthèse de haut niveau (HLS)
Synthèse de haut niveau (HLS)
Articles
-
Recherche >
Étudiants/Post-docs >
Alexandra Dobre
-
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
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