2D array  Accélérateur matériel  Additionneur  Administration  Algorithm  Algorithme  Algorithme Génétique  Algorithme pyramidal  Algorithmes  Algorithmique parallèle  Algèbre Boole  Algèbre de processus  Algèbre linéaire  Allocation de registres  Allocation de ressources  Amélioration Locale  Analyse automatique  Analyse factorielle  Analyse fonctionnement  Analyse fractale  Analyse image  Analyse multiresolution  Analyse signature  Animation  Animation par ordinateur  Anneau de boole  Appareil génital femelle pathologie  Application industrielle  Application médicale  Application scientifique  Approche heuristique  Arbre binaire  Arbre décision  Architecture  Architecture cible  Architecture des ordinateurs  Architecture système  Architecture système#  Architectures  Arithmetic logic unit  Assembler  Assembleurs  Attachement procédural  Audition  Autocalibrage  Automates d'etats finis  Automatic analysis  Automatic monitoring  Automatic steerer  Avalanches  Axe médian  Bancs de filtres  Base de grobner  Bases de connaissances  Bases de données -- Conception  Bases de données -- Gestion  Bases de données orientées objet  Bibliothèque programme  Biflot entier  Binary mixture  Biomedical engineering  Bisimulation ``à la volee''  Boole, Algèbre de  Borne Inferieure  Breakdown  CADOC.LD  Cabri-géomètre  Cadre logique  Calcul de De Morgan  Calcul des propositions  Calcul formel  Calcul parallèle  Calculateur MIMD  Calculs  Cancer -- Diagnostic  Cao  Cd  Cell nucleus  Cellular logic  Chaine Fabrication  Characteristic polynomial  Chemin de données  Circuit Code disjoint  Circuit VLSI  Circuit autotestable  Circuit combinatoire  Circuit commande  Circuit design  Circuit hamiltonien  Circuit intégré  Circuit intégré monolithique  Circuit logique  Circuit numérique  Circuit précaractérisé  Circuit sûr à fautes  Circuit à la demande  Circuits imprimés  Circuits intégrés -- Conception assistée par ordinateur  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés -- conception automatique  Circuits intégrés  Circuits intégrés à très grande échelle  Circuits logiques  Circuits prédiffusés programmables  Cms  Codage  Codage d'automates synchrones  Codage d'états  Code  Code correcteur erreur  Col utérus  Combinatory circuit  Commande  Communicating process  Communication  Compilateur APOLLON  Compilateur de silicium  Compilateurs  Compilateurs de silicium  Compilation  Compilation  Compiler  Complementary MOS technology  Complexité  Complémentation  Comportement rendez vous  Composition  Compression d'images  Computer aided design  Computer program  Computer system  Conception assistée  Conception assistée par ordinateur  Conception circuit  Conception de circuit  Conception de systèmes interactifs  Construction modulaire  Contrôle automatique  Contrôleur  Diagnostic  Distributed system  Décentralisation  Décomposition  Démonstration automatique  Etude théorique  Fiabilité  Hypercube  Infographie  Integrated circuit  Intelligence artificielle  Interactive system  Logiciel  Mask  Masque  Microprocesseurs -- Programmation  Microprocesseurs  Microprocessor  Models  Modèle  Multiprocesseurs  NMOS technology  Optimisation  Optimisation combinatoire  Ordonnancement  Panne  Parallélisme  Planification  Processor  Programmable logic array  Programmation  Programme ordinateur  Prolog  Prototype  Recherche opérationnelle  Reconfiguration  Relation homme machine  Reliability  Robotique  Réseau logique programmable  Réseaux de neurones  Silicium  Silicon  Simulation  Software  Synchronisation  Synthèse circuit  Synthèse de haut niveau  Synthèse logique  System architecture  Système conversationnel  Système réparti  Technologie NMOS  Temps réel  Test  Thèses et écrits académiques  Tolérance faute  VLSI circuit  Verification  Vision par ordinateur  Vérification  Wsi  

89 thèses soutenues ayant pour partenaire de recherche Institut d'informatique et mathématiques appliquées (Grenoble)
Extrait des plus récentes :

Recherche opérationnelle, combinatoire et optimisation. Informatique
Soutenue en 2000
thèse
Informatique, communication et système
Soutenue en 1999
thèse
Informatique
Soutenue en 1999
thèse
Recherche opérationnelle
Soutenue en 1996
thèse
Micro-électronique
Soutenue en 1996
thèse
Informatique
Soutenue en 1996
thèse

Mathématiques appliquées. Recherche opérationnelle
Soutenue en 1995
thèse

Informatique
Soutenue en 1994
thèse

Modèles quantitatifs d'algorithmes parallèles

par Joao Paulo Fumio Whitaker Kitajima sous la direction de Brigitte Plateau - Grenoble INPG

Informatique
Soutenue en 1994
thèse
Informatique
Soutenue en 1993
thèse

Le test haute résolution de circuits imprimés nus

par Christophe Vaucher sous la direction de Louis Balme - Grenoble INPG

Microélectronique
Soutenue en 1993
thèse
Informatique
Soutenue en 1993
thèse

ParObj : un noyau de système parallèle à objets

par François Menneteau sous la direction de Traian Muntean - Grenoble INPG

Informatique
Soutenue en 1993
thèse
Informatique
Soutenue en 1993
thèse
Electronique
Soutenue en 1992
thèse