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  Application industrielle  Arbre binaire  Arbre décision  Architecture cible  Architecture des ordinateurs  Asic  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 a la demande  Circuit design  Circuit integre  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  Controleur  Controller  Contrôle automatique  Contrôleur  Correlation  Corrélation  Costs  Cpld  Cube intersectant  Custom circuit  Diagramme décision binaire  Digital circuit  Décomposition  Décomposition technologique  Défaut de fabrication  Détection zone critique  Electronique  En ligne  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é  Field programmable gate array  Flex 8000  Flot de conception  Flots de synthese  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  Industrial application  Integrated circuit  Intelligence artificielle  Interconnection  Interconnexion  Langage évolué  Lfsr  Logic circuit  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  Modeling  Modelisation  Modèle fonctionnel  Modèles profonds  Modélisation  Multiplicateur  Multiplier  Mémoire intégré sur tranche  Méthode essai  Noyau  Ntegrated circuit  Observability  Observabilité  On line  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  Reseau porte programmable  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 appliquees  Sciences appliquées  Simd  Simulation  Simulation symbolique  Software  Specification  Synthese haut niveau  Synthese rtl  Synthese systeme  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  Test  Tolérance aux défauts  VLSI circuit  Verification  Vérification  Wsi  

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

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

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

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

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

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

Informatique
Soutenue en 1994
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

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
Systèmes électroniques
Soutenue le
Thèse soutenue