Publications
Soutenances de thèses
« Étude de deux solutions pour le support matériel de la programmation parallèle dans les multiprocesseurs intégrés : vol de travail et mémoires transactionnelles ».
Auteur : Q. Meunier
Directeur de thèse : F. Pétrot
Président du jury : Ph. Clauss
These de Doctorat Université de Grenoble
Spécialité : Electronique, électrotechnique, automatique
Soutenance : 2010-10-29
ISBN : 978-2-84813-159-7
« Tolérance aux fautes multi-niveau dans les réseaux sur puce ».
Auteur : C. Rusu
Directeur de thèse : M. Nicolaidis
Président du jury : F. Rousseau
These de Doctorat Université de Grenoble
Spécialité : Micro et Nano Electronique
Soutenance : 2010-09-10
ISBN : 978-2-84813-158-0
« Stratégies de simulation rapides et algorithme adaptatif de contrôle de la tension et de la fréquence pour les MPSoCs basse consommation ».
Auteur : M. Gligor
Directeur de thèse : F. Pétrot
Président du jury : O. Gruber
These de Doctorat Université de Grenoble
Spécialité : Micro et Nano Electronique
Soutenance : 2010-09-09
ISBN : 978-2-84813-157-3
« Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects ».
Auteur : K. Alsayeg
Directeur de thèse : M. Renaudin
Président du jury : I. O'Connor
These de Doctorat Université de Grenoble
Spécialité : Microélectronique
Soutenance : 2010-09-01
ISBN : 978-2-84813-155-9
« Systèmes Robustes aux Fautes Transitoires Exploitant la Logique Asynchrone Quasi-Insensible aux Délais ».
Auteur : R. Possamai Bastos
Directeur de thèse : M. Renaudin
Président du jury : S. Basrour
These de Doctorat Université de Grenoble
Spécialité : Micro et Nano Electronique
Soutenance : 2010-07-09
ISBN : 978-2-84813-156-6
« Taux d’erreurs dues aux radiations pour des applications implémentées dans des FPGAs à base de mémoire SRAM : prédictions versus mesures ».
Auteur : G. Foucard
Directeur de thèse : R. Velazco
Président du jury : M. Nicolaidis
These de Doctorat Université de Grenoble
Spécialité : Electronique, électrotechnique, automatique
Soutenance : 2010-06-11
ISBN : 978-2-84813-153-5
« Approche efficace de développement de logiciel embarqué pour des systèmes multiprocesseurs sur puce ».
Auteur : X. Guérin
Directeur de thèse : F. Pétrot
Président du jury : J. Mossière
These de Doctorat Université de Grenoble
Spécialité : Informatique
Soutenance : 2010-05-12
ISBN : 978-2-84813-154-2
« Mise en œuvre de techniques de démonstration automatique pour la vérification formelle des NoCs ».
Auteur : A. Helmy
Directeur de thèse : L. Pierre
Président du jury : D. Borrione
These de Doctorat Université de Grenoble
Spécialité : Electronique, électrotechnique, automatique
Soutenance : 2010-04-30
ISBN : 978-2-84813-152-8
« Microphone électrodynamique MEMS en technologie CMOS : étude, modélisation et réalisation ».
Auteur : F. Tounsi
Directeur de thèse : L. Rufer
Président du jury : M. Lihiani
These de Doctorat Université de Grenoble
Spécialité : Micro et Nano Electronique
Soutenance : 2010-03-22
ISBN : 978-2-84813-151-1
