Accueil > Mots-clés > Topics > TLM
TLM
Transaction-Level Modeling
Articles
-
Recherche >
Publications >
Habilitation à Diriger des Recherches (HDR)
-
Recherche >
Outils >
LIBTLMPWT : Model Power-Consumption and Temperature in SystemC/TLM
-
Recherche >
Étudiants/Post-docs >
Gaetan Sancassani
-
Recherche >
Exposés >
Transaction-Level Models of Systems-on-a-Chip Can they be Fast, Correct and Faithful ?
-
Recherche >
Étudiants/Post-docs >
Nabila Abdessaied
-
Recherche >
Exposés >
PinaVM and Tweto : Compilation and Optimization Techniques for SystemC
-
Recherche >
Étudiants/Post-docs >
Denis Becker
-
Recherche >
Étudiants/Post-docs >
SangHoon Kwak
-
Recherche >
Étudiants/Post-docs >
Liliana Andrade
-
Recherche >
Exposés >
PinaVM : a SystemC Front-End Based on an Executable Intermediate Representation
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