Contact
Research
Teaching
Tools
Personal
Search:
Matthieu Moy
Home
>
Keywords
>
Topics
>
TLM
TLM
Transaction-Level Modeling
Articles
Research
>
Students/Post-docs
>
Eduardo León
Research
>
Students/Post-docs
>
Denis Becker
Research
>
Publications
>
Habilitation à Diriger des Recherches (HDR)
Research
>
Students/Post-docs
>
Samuel Jones
Research
>
Students/Post-docs
>
Mohamed Taoufiq El Aissaoui
Research
>
Talks
>
Transaction-Level Models of Systems-on-a-Chip Can they be Fast, Correct and Faithful?
Research
>
Talks
>
Mini Power-Aware TLM-Platform
Research
>
Students/Post-docs
>
Rafael Velasquez
Research
>
Projects
>
HELP: High Level Models for Low Power Systems
Research
>
Talks
>
Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach
1
2
3
4
Email:
Other keywords in this group
42
Abstract Interpretation
Implementation
Polyhedral model
High-level Synthesis (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
Keyword groups
Co-workers
Tools
Topics
Type of Student
Year
Language:
Français
/
English
|
Log in
|
Site Map
|
RSS 2.0
Graphic design (c)
styleshout
under License
Creative Commons Attribution 2.5 License