Publications

Soutenances de thèses


« Machines spécialisées et programmation en logique ».

Auteur : G. Berger Sabbatel
Directeur de thèse : F. Anceau
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 1988-06-01

> en savoir plus

« Contribution à la vérification des circuits intégrés dans un environnement multivarié ».

Auteur : J.-P. Caisso
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 1987-11-16
Pages : 212

> en savoir plus

« Etude du moniteur d'un système fonctionnellement réparti ».

Auteur : M. Souai
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 1987-11-01

> en savoir plus

« Optimisation et compromis surface-vitesse dans le compilateur de silicium SYCO ».

Auteur : N. Bekkara
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 1987-10-19
Pages : 179

> en savoir plus

« Parallélisme dans une machine base de connaissances Prolog ».

Auteur : W. Dang
Directeur de thèse : G. Berger Sabbatel
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : informatique
Soutenance : 1987-07-03
Pages : [no pag.]

> en savoir plus

« Compilation de silicium : application à la compilation de parties contrôles ».

Auteur : P. Varinot
Directeur de thèse : F. Anceau
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 1987-02-02
Pages : 278

> en savoir plus

« Outils de CAO et conception structurée de systèmes intégrés sur silicium ».

Auteur : F.-R. Rougeaux
Directeur de thèse : F. Anceau
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 1987-02-02
Pages : 218

> en savoir plus

« Conception de VLSI : applications au calcul numérique ».

Auteur : B. Hochet
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : Microélectronique
Soutenance : 1987-01-12
Pages : 182

> en savoir plus

« Génération automatique de parties opératives de circuits VLSI de type microprocesseur ».

Auteur : R. Jamier
Directeur de thèse : B. Courtois
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Soutenance : 1986-12-01

> en savoir plus