3d  Abstraction  Accélérateur matériel  Algorithm  Algorithme  Algorithmes  Algèbre linéaire  Allocation de ressources  Analyse de défaillances  Analyse de signature  Animation  Application industrielle  Approche heuristique  Architecture  Architecture des ordinateurs  Architecture parallèle  Architecture système  Automatic monitoring  Base connaissance  Base de données  Bases de données -- Gestion  Bibliothèque  Breakdown  CAO de VLSI  CFAO, Systèmes de  Calcul formel  Cao  Capteurs  Cd  Chemin de données  Circuit VLSI  Circuit design  Circuit intégré  Circuit intégré monolithique  Circuit logique  Circuit précaractérisé  Circuits intégrés -- Masques  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés à très grande échelle  Cliques maximales  Code  Communication  Compilateur de silicium  Compilateurs  Compilateurs de silicium  Compilation  Compilation  Compiler  Complexité  Compression d'images  Compromis  Computer aided design  Computer program  Conception assistée  Conception assistée par ordinateur  Conception circuit  Connexionnisme  Construction modulaire  Controller  Contrôle automatique  Contrôleur  Coopération  Costs  Cryptographie  Cytométrie d'image  Description  Description structurelle  Diagnostic  Distributed system  Dynamique  Décentralisation  Déclencheur  Décomposition  Décomposition technologique  Déduction automatique  Démonstration  Enveloppe convexe  Environnement programmation  Essai fonctionnel  Etude expérimentale  Etude théorique  Evaluation performance  Evénement  Fabrication microélectronique  Factorisation  Factorisation algébrique  Factorisation lexicographique  Fiabilité  Fonctions  Fractales  Gamme d'usinage  Geometrie projective  Gestion  Graphes temporises  Graphes, Théorie des  Graphic plotting  Géométrie  Géométrie algorithmique  Hdl  Hypercube  Héritage  Imagerie médicale  Infographie  Integrated circuit  Intelligence artificielle  Interactive system  Interfaces utilisateurs  Invariants  Itération  Knowledge representation  Langage de description du matériel  Langages de programmation  Langages de programmation fonctionnelle  Local network  Logiciel  Logiciels -- Exactitude  Logique  Logique temporelle  Logiques temporelles  MOS technology  Manipulateurs  Mask  Masque  Mathématiques  Matrices  Maximums et minimums  Methodology  Microelectronic fabrication  Microprocesseurs  Microprocessor  Modèle  Modélisation  Modélisation géométrique  Multiprocesseurs  Méthodologie  Optimisation  Optimisation combinatoire  Ordinateurs -- Mémoires  Ordonnancement  Orienté objet  Parallelism  Parallelisme  Parallélisme  Parallélisme  Pla  Planification  Programmable logic array  Programmation  Programmation automatique  Programmation automatique des robots  Programmation logique  Programmation orientée objets  Programmation parallèle  Programme ordinateur  Prolog  Prolog  Protocoles de réseaux d'ordinateurs  Prototype  Raisonnement  Raisonnement géométrique  Reconfiguration  Reliability  Rendement  Représentation connaissances  Robotique  Robots industriels  Réseau d'interconnexion  Réseau logique programmable  Réseaux de neurones  Segmentation  Silicium  Simd  Simulation  Simulation logique  Simulation numérique  Software  Spécification  Synchronisation  Synthèse circuit  Synthèse logique  System architecture  Système informatique  Système réparti  Systèmes experts  Systèmes experts  Systèmes homme-machine  Temps réel  Test  Test en ligne  Thèses et écrits académiques  Traitement d'image  Traitement d'images  Traitement réparti  Transputer  VLSI circuit  Verification  Vhdl  Vision par ordinateur  Vérification  Wsi  

301 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

Mathématiques appliquées
Soutenue en 1996
thèse
Mathématiques appliquées
Soutenue en 1996
thèse
Informatique
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 1995
thèse