Allocation mémoire  Analyse Pire Cas  Analyse statique  Analyse temporelle  Antémémoire  Apprentissage profond  Architecture matérielle  Circuits intégrés -- Simulation par ordinateur  Cohérence  Composants  Conception assistée par ordinateur  Conception des applications du traitement du signal  Criticalité  Fpu  Generation de code  Gestion mémoire  Intelligence Artificielle  Interférences sur ressources partagées  Internet des Objets  Interprétation Abstraite  LUSTRE  Langage synchrone  Librairies auto-Optimizantes  Libraries de calcul mathematique  Linux  Linux  Logiciels -- Vérification  Logique informatique  Many-Cœur  Matériel  Microprocesseurs multi-coeurs  Modèle de calcul  Simulation  Simulation, Méthodes de  SystemC  Systèmes embarqués  

Matthieu Moy a rédigé la thèse suivante :

Techniques et outils pour la vérification de systèmes-sur-puce au niveau transaction

par Matthieu Moy sous la direction de Florence Maraninchi - Grenoble INPG

Informatique. Systèmes et communications

Soutenue en 2005

Matthieu Moy dirige actuellement la thèse suivante :

Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm

par Nicolas Chappe sous la direction de Matthieu Moy - Lyon

Informatique

En préparation depuis le 01-10-2021

Matthieu Moy a dirigé les 7 thèses suivantes :

Simulation SystemC parallèle et conforme au standard de modèles transactionnels à temps relâché

par Gabriel Busnot sous la direction de Matthieu Moy - Lyon

Informatique

Soutenue le 18-12-2020

Gestion de la mémoire dynamique pour les systèmes embarqués avec mémoire hétérogène

par Tristan Delizy sous la direction de Matthieu Moy et de Tanguy Risset . - Lyon

Informatique

Soutenue le 19-12-2019

Génération de code pour un many-core avec des contraintes temps réel fortes

par Amaury Graillat sous la direction de Pascal Raymond et de Matthieu Moy . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 16-11-2018

Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau

par Denis Becker sous la direction de Matthieu Moy - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 11-12-2017

Analyse temporelle des systèmes temps-réels sur architectures pluri-coeurs

par Hamza Rihani sous la direction de Matthieu Moy - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 01-12-2017

Static analysis of program by Abstract Interpretation and Decision Procedures

par Julien Henry sous la direction de David Monniaux et de Matthieu Moy . - Grenoble

Informatique

Soutenue le 13-10-2014

Contributions to the Transaction-Level Modeling of Systems-on-a-Chip

par Giovanni Funchal sous la direction de Florence Maraninchi et de Matthieu Moy . - Grenoble

Informatique

Soutenue le 18-11-2011

Matthieu Moy a été rapporteur des 3 thèses suivantes :

Architectures matérielles et logicielles pour l'accélération du "deep learning" sur multiprocesseur évolutif embarqué

par Nicolas Leclaire sous la direction de Stéphane Mancini - Université Grenoble Alpes

Informatique

Soutenue le 04-01-2022

Méthodologie pour l'optimisation logicielle de structures de données pour les architectures hautes performances à mémoires complexes

par Riyane Yacine Sid Lakhdar sous la direction de Henri-Pierre Charles et de Maha Kooli . - Université Grenoble Alpes

Mathématiques et informatique

Soutenue le 11-12-2020

Etude et implantation d'algorithmes pour le placement et l'ordonnancement d'applications Dataflow

par Hamza Deroui sous la direction de Jean-François Nezan - Rennes, INSA

Signal, Image, Vision

Soutenue le 06-12-2019

Matthieu Moy a été membre de jury des 2 thèses suivantes :

Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables

par Cédric Ben Aoun sous la direction de François Pêcheux - Paris 6

Informatique

Soutenue le 12-07-2017

Simulation fonctionnelle native pour des systèmes many-cœurs

par Guillaume Sarrazin sous la direction de Frédéric Pétrot et de Nicolas Fournel . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 23-05-2016