Publications

Thèses liste complète


« Les limites technologiques du silicium et tolérance aux fautes ».

Auteur : L. Anghel
Directeur de thèse : M. Nicolaidis
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 2001-12-15
ISBN : ISBN 2-913329-54-3
Distinction : Microelectronics best INPG Thesis

> en savoir plus

« Génération de système d'exploitation pour le ciblage de logiciel multitâche sur des architectures multiprocesseurs hétérogènes dans le cadre des systèmes embarqués spécifiques. ».

Auteur : L. Gauthier
Directeur de thèse : A.-A. Jerraya
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 2001-12-05
ISBN : 2-913329-75-6
Pages : 150

> en savoir plus

« Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique ».

Auteur : P. Georgelin
Directeur de thèse : D. Borrione
These de Doctorat Université Joseph-Fourier - Grenoble I
Spécialité : informatique
Soutenance : 2001-10-18
ISBN : ISBN 2-913329-73-X
Pages : 142

> en savoir plus

« Une méthodologie de conception de circuits intégrés quasi-insensibles aux délais :application à l'étude et à la réalisation d'un processeur RISC 16-bit asynchrone ».

Auteur : P. Vivet
Directeur de thèse : M. Renaudin
These de Doctorat Grenoble INP
Spécialité : Electronique, électrotechnique, automatique
Soutenance : 2001-06-21
ISBN : 2-913329-683

> en savoir plus

« Outil de CAO pour la génération d'opérateurs arithmétiques auto-contrôlables ».

Auteur : I. Alzaher-Noufal
Directeur de thèse : M. Nicolaidis
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : micro et nano électronique
Soutenance : 2001-05-23
ISBN : ISBN 2-913329-70-5
Pages : 132

> en savoir plus

« Test en ligne des systèmes digitaux linéaires ».

Auteur : A. Abdelhay
Directeur de thèse : M. Nicolaidis
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 2001-04-20
ISBN : 2-913329-66-7
Pages : 133

> en savoir plus

« Nouvelle méthodologie de simulation symbolique, permettant la vérification des circuits séquentiels décrits à des niveaux d'abstraction différents ».

Auteur : G. Ritter
Directeur de thèse : H. Eveking
These de Doctorat Université Joseph-Fourier - Grenoble I
Spécialité : Microélectronique, bi-national degree Darmstadt Univ. of Technology Germany
Soutenance : 2001-03-26
ISBN : 2-913329-64-0
Pages : 158

> en savoir plus

« Modélisation de fautes et conception en vue du test structurel des microsystèmes ».

Auteur : B. Charlot
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 2001-03-12
ISBN : ISBN 2-913329-60-8
Pages : 176

> en savoir plus

« Prédiction du taux d'erreurs d'architectures digitales : une méthode et des résultats expérimentaux ».

Auteur : S. Rezgui
Directeur de thèse : R. Velazco
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 2001-03-08
ISBN : 2-913329-58-8
Pages : 210

> en savoir plus