Publications

Thèses soutenues


« 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

> en savoir plus

« 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

> en savoir plus

« 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

> en savoir plus

« 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 électronique
Soutenance : 2010-07-09
ISBN : 978-2-84813-156-6

> en savoir plus

« 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

> en savoir plus

« 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

> en savoir plus

« 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

> en savoir plus

« 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

> en savoir plus

« Modélisations multi-physiques et simulations globales de systèmes autonomes sur puce ».

Auteur : H. Boussetta
Directeur de thèse : S. Basrour
These de Doctorat Université de Grenoble
Spécialité : Electronique, électrotechnique, automatique
Soutenance : 2010-02-20
ISBN : 978-2-84813-150-4

> en savoir plus