Gabrièle Saucier

2d array  Additionneur  Algebre boole  Algorithm  Algorithme  Algèbre Boole  Allocation de registres  Allocation de ressources  Allocation ressource  Analyse de données  Analyse de signature  Analyse factorielle  Analyse fonctionnement  Analyse temporelle  Appareil portatif  Application industrielle  Architecture cible  Automates d'états finis  Automatic monitoring  Bibliothèque  Binary decision diagram  Bipartitionnement de graphe  Breakdown  Calcul de De Morgan  Cd  Chemin de scan généralisé  Circuit VLSI  Circuit design  Circuit integre  Circuit intégré  Circuit logique  Circuit numérique  Circuit programmable  Circuit rapide  Circuit synthesis  Circuits intégrés  Circuits intégrés à très grande échelle  Circuits reconfigurables  Codage  Codage d'automates synchrones  Compilateurs de silicium  Computer aided design  Computer program  Conception assistee  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  Cout  Cpld  Cube intersectant  Decomposition technologique  Diagramme binaire decision  Digital circuit  Décomposition  Décomposition technologique  Défaut de fabrication  Détection panne  Détection zone critique  Electronique  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 lexicographique  Failure detection  Fiabilité  Field programmable gate array  Flex 8000  Flot de conception  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  Identification booleenne  Immersion  Implementation  Industrial application  Integrated circuit  Intelligence artificielle  Interconnection  Interconnexion  Langage évolué  Lfsr  Logic circuit  Logiciel  Lpm  MOS technology  Machines séquentielles, Théorie des  Macro bloc  Macro-génération  Microelectronic fabrication  Microprocesseur  Microprocesseurs -- Programmation  Microprocesseurs  Microprocessor  Minimisation  Minimisation symbolique  Modeling  Modèle fonctionnel  Modèles profonds  Modélisation  Multiplicateur  Multiplier  Mémoire intégré sur tranche  Méthode essai  Ntegrated circuit  Operation study  Optimisation  Ordinateurs -- Mémoires  Ordinateurs  Ordonnancement  Pannes  Partitionnement  Performance evaluation  Pile  Placement de circuit  Processor  Produits cartésien de machines  Programmable logic array  Programme P. E. T  Programme ordinateur  Programme reptil  Prolog  Propagation retardées  Prototype  Reconfiguration  Reconstitution  Reliability  Rendement  Reseau logique programmable  Reseau porte programmable  Rtl  Réinjection  Réseau de commutateur  Réseau logique programmable  Réseaux de communication entre ordinateurs  Réseaux logiques programmables  Scan partiel  Scheduling  Sciences appliquees  Sciences appliquées  Sciences et techniques  Silicium  Silicon  Simd  Simulation  Simulation symbolique  Software  Synthese circuit  Synthese logique  Synthèse architecturale  Synthèse circuit  Synthèse de haut niveau  Synthèse logique  Synthèse rtl  Systèmes à base de connaissances de seconde génération  Séquenceur  Technologie MOS  Technologie MOS complémentaire  Test  Test de chemin de données  Test de circuits vlsi  Test en ligne  Test hors ligne  Test par faisceau d'électrons  Thesis  Thèse  Time analysis  Tolérance aux défauts  Tolérance aux défauts de fabrication  UAL testables et reconfigurables  VLSI circuit  Valeurs symboliques  Validation de prototypes  Verification  Vhdl  Vital  Vérification  Wsi  Xc 4000  Yield  électronique  

Gabrièle Saucier a dirigé les 68 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

Informatique
Soutenue en 1996
Thèse soutenue

Microélectronique
Soutenue en 1995
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

Informatique
Soutenue en 1988
Thèse soutenue
Microélectronique
Soutenue en 1986
Thèse soutenue
Microélectronique
Soutenue en 1986
Thèse soutenue