Gabrièle Saucier

2D array  Additionneur  Algorithm  Algorithme  Algèbre Boole  Allocation de registres  Allocation de ressources  Analyse de données  Analyse factorielle  Analyse fonctionnement  Analyse temporelle  Arbre binaire  Arbre décision  Architecture cible  Architecture des ordinateurs  Automates d'états finis  Automatic monitoring  Bibliothèque  Bipartitionnement de graphe  Breakdown  CADOC.LD  Calcul de De Morgan  Cao  Chemin de scan généralisé  Circuit VLSI  Circuit design  Circuit intégré  Circuit logique  Circuit numérique  Circuit programmable  Circuit rapide  Circuit à la demande  Circuits intégrés  Circuits intégrés à très grande échelle  Circuits reconfigurables  Codage d'automates synchrones  Codage des états  Compilateur de silicium  Compilateurs de silicium  Complémentation  Computer aided design  Computer program  Conception assistée  Conception assistée par ordinateur  Conception circuit  Conception de circuits  Contrainte temporelle  Controller  Contrôle automatique  Contrôleur  Correlation  Corrélation  Costs  Cube intersectant  Diagramme décision binaire  Digital circuit  Décomposition  Décomposition technologique  Défaut de fabrication  Détection zone critique  Essai  Essai automatique  Essai fonctionnel  Etude expérimentale  Etude théorique  Evaluation performance  Expression booléenne  Fabrication microélectronique  Factor analysis  Factorisation  Factorisation algébrique  Factorisation booléenne  Factorisation lexicographique  Failure detection  Fiabilité  Flex 8000  Flot de conception  Gestion ressource  Granularité  Granularité technologique  Groupes d'adjacences  Génération de test  Génération hiérarchisée de test  Génération test  Haut rendement  Hypercube  Hypercube booléen  Hypergraphe  Immersion  Integrated circuit  Interconnection  Interconnexion  Langage évolué  Lfsr  Logiciel  Lpm  MOS technology  Macro bloc  Macro-génération  Macrogénérateur  Maximums et minimums  Microelectronic fabrication  Microprocesseur  Microprocesseurs -- Programmation  Microprocesseurs  Microprocessor  Microélectronique  Minimisation  Minimisation deux-couches  Minimisation symbolique  Modèle fonctionnel  Modèles profonds  Modélisation  Multiplicateur  Multiplier  Mémoire intégré sur tranche  Méthode essai  Noyau  Ntegrated circuit  Operation study  Optimisation  Optimisation de circuits  Ordinateurs -- Mémoires  Ordinateurs  Ordonnancement  Pannes  Performance evaluation  Pga  Pile  Pla  Placement  Placement de circuit  Pld  Processor  Produits cartésien de machines  Programmable logic array  Programme P. E. T  Programme ordinateur  Programme reptil  Prolog  Propagation retardées  Reconfiguration  Reconstitution  Reliability  Rendement  Rtl  Réinjection  Réseau d'interconnexion  Réseau de commutateur  Réseau logique programmable  Réseau porte programmable  Réseaux de communication entre ordinateurs  Réseaux logiques programmables  Réseaux programmables  Scan partiel  Sciences appliquées  Simd  Simulation  Simulation symbolique  Software  Synthèse architecturale  Synthèse circuit  Synthèse de contrôleurs  Synthèse de haut niveau  Synthèse logique  Synthèse logique multicouche  Synthèse multi-couches  Synthèse rtl  Synthèse sur cellules standards  Synthèses multicouches  Systèmes à base de connaissances de seconde génération  Séquenceur  Table vérité  Tautologie  Technologie MOS  Technologie MOS complémentaire  Test  Test d'inclusion  Test de chemin de données  Test de circuits vlsi  Test en ligne  Test hors ligne  Test par faisceau d'électrons  Thesis  Thèse  Thèses et écrits académiques  Time analysis  Tolérance aux défauts  Tolérance aux défauts de fabrication  Traitement d'image  Traitement d'images  UAL testables et reconfigurables  VLSI circuit  Valeurs symboliques  Validation de prototypes  Verification  Vhdl  Vital  Vérification  Wsi  Xc 4000  

Gabrièle Saucier a dirigé les 50 thèses suivantes :

Recherche opérationnelle. Combinatoire et optimisation
Soutenue en 2002
Thèse soutenue

Recherche opérationnelle. Combinatoire et optimisation
Soutenue en 2002
Thèse soutenue

Recherche opérationnelle. Combinatoire et optimisation
Soutenue en 2002
Thèse soutenue

Recherche opérationnelle
Soutenue en 1999
Thèse soutenue

Informatique
Soutenue en 1999
Thèse soutenue

Micro-électronique
Soutenue en 1999
Thèse soutenue

Microélectronique
Soutenue en 1998
Thèse soutenue

Recherche opérationnelle
Soutenue en 1998
Thèse soutenue

Microélectronique
Soutenue en 1997
Thèse soutenue

Recherche opérationnelle
Soutenue en 1997
Thèse soutenue

Recherche opérationnelle
Soutenue en 1996
Thèse soutenue
Informatique
Soutenue en 1996
Thèse soutenue

Microélectronique
Soutenue en 1996
Thèse soutenue
Informatique
Soutenue en 1996
Thèse soutenue

Micro-électronique
Soutenue en 1996
Thèse soutenue
Microélectronique
Soutenue en 1995
Thèse soutenue

Microélectronique
Soutenue en 1995
Thèse soutenue

Informatique
Soutenue en 1995
Thèse soutenue
Micro-électronique
Soutenue en 1995
Thèse soutenue
Informatique
Soutenue en 1994
Thèse soutenue

Systèmes électroniques
Soutenue en 1993
Thèse soutenue

Micro-électronique
Soutenue en 1992
Thèse soutenue

Micro-électronique
Soutenue en 1992
Thèse soutenue
Micro-électronique
Soutenue en 1992
Thèse soutenue
Micro-électronique
Soutenue en 1992
Thèse soutenue
Micro-électronique
Soutenue en 1992
Thèse soutenue
Microélectronique
Soutenue en 1991
Thèse soutenue

Signal Image Parole
Soutenue en 1991
Thèse soutenue
Micro-électronique
Soutenue en 1991
Thèse soutenue

Micro-électronique
Soutenue en 1990
Thèse soutenue
Micro-électronique
Soutenue en 1989
Thèse soutenue
Informatique
Soutenue en 1988
Thèse soutenue
Micro-électronique
Soutenue en 1986
Thèse soutenue
Micro-électronique
Soutenue en 1985
Thèse soutenue
Informatique
Soutenue en 1985
Thèse soutenue