Moy, Matthieu, 1979-....
VIAF ID: 188573412 ( Personal )
Permalink: http://viaf.org/viaf/188573412
Preferred Forms
- 100 1 _ ‡a Moy, Matthieu ‡d 1979-...
- 100 1 _ ‡a Moy, Matthieu, ‡d 1979-....
Works
Title | Sources |
---|---|
Analyse temporelle des systèmes temps-réels sur architectures pluri-coeurs | |
Calcul efficace du pire temps d'exécution symbolique à base d'arbres | |
Code Generation for Multi-Core Processor with Hard Real-Time Constraints. | |
Contributions à la modélisation transactionnelle des systèmes sur puce. | |
Design of a virtual prototyping framework for composable heterogeneous systems. | |
Dynamic Heterogeneous memory allocation for embedded devices. | |
Efficient tree-based symbolic WCET computation. | |
Etude et implantation d'algorithmes pour le placement et l'ordonnancement d'applications Dataflow | |
Génération de code pour un many-core avec des contraintes temps réel fortes | |
Gestion de la mémoire dynamique pour les systèmes embarqués avec mémoire hétérogène | |
Hardware and Software architectures for deep learning acceleration on embedded multi-processor. | |
Many-Core Timing Analysis of Real-Time Systems. | |
Méthodologie pour l'optimisation logicielle de structures de données pour les architectures hautes performances à mémoires complexes | |
Methodology for code-optimization of memory data layouts by adaptation to high-performance-system architectures with complex memory hierarchies. | |
Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables | |
Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing | |
Simulation fonctionnelle native pour des systèmes many-cœurs | |
Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau | |
Simulation SystemC parallèle et conforme au standard de modèles transactionnels à temps relâché | |
Static analysis of program by Abstract Interpretation and Decision Procedures | |
Study and implementation of algorithms for the mapping and scheduling of dataflow applications. | |
System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. | |
Techniques and tools for the verification of systems-on-a-chip at the transaction level. | |
Techniques et outils pour la vérification de systèmes-sur-puce au niveau transaction |