3d  Accélérateur matériel  Algorithm  Algorithme  Algorithmes  Algèbre linéaire  Allocation de ressources  Analyse de défaillances  Analyse de signature  Application industrielle  Approche heuristique  Architecture  Architecture des ordinateurs  Architecture parallèle  Architecture système  Automatic monitoring  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  Description  Description structurelle  Diagnostic  Distributed system  Décentralisation  Décomposition  Décomposition technologique  Déduction automatique  Démonstration  Environnement programmation  Essai fonctionnel  Etude théorique  Evaluation performance  Fabrication microélectronique  Factorisation  Factorisation algébrique  Factorisation lexicographique  Fiabilité  Fonctions  Gamme d'usinage  Geometrie projective  Gestion  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  Invariants  Knowledge representation  Langage de description du matériel  Langages de programmation  Langages de programmation fonctionnelle  Local network  Logiciel  Logiciels -- Exactitude  Logiques temporelles  MOS technology  Manipulateurs  Mask  Masque  Mathématiques  Matrices  Maximums et minimums  Methodology  Microelectronic fabrication  Microprocesseur  Microprocesseurs -- Programmation  Microprocesseurs  Microprocessor  Models  Modes  Modèle  Modèle physique  Modèles profonds  Modélisation  Modélisation géométrique  Monolithic integrated circuit  Multiprocesseurs  Méthodologie  NMOS technology  Objet  Optimisation  Optimisation combinatoire  Optimization  Ordinateurs -- Mémoires  Ordonnancement  Panne  Pannes  Parallel program  Parallelism  Parallelisme  Parallélisme  Parallélisme  Parallélisme massif  Perception  Performance evaluation  Pla  Placement  Planification  Planification de mouvement  Planification de saisie  Polynômes  Processor  Processus communicants  Programmable logic array  Programmation  Programmation automatique  Programmation automatique des robots  Programmation logique  Programmation parallèle  Programme MACSIM  Programme ordinateur  Programme parallèle  Programming environment  Prolog  Prolog  Propagation de contraintes  Protocoles de réseaux d'ordinateurs  Raisonnement  Raisonnement géométrique  Reconfiguration  Reliability  Rendement  Robotique  Robots industriels  Réseau logique programmable  Réseaux de neurones  Segmentation  Silicium  Simd  Simulation  Simulation logique  Software  Spécification  Synchronisation  Synthèse circuit  Synthèse logique  System architecture  Système réparti  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  

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

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

Informatique
Soutenue en 1995
thèse
Micro-électronique
Soutenue en 1995
thèse
Mathématiques appliquées. Recherche opérationnelle
Soutenue en 1995
thèse
Mathématiques appliquées. Recherche opérationnelle
Soutenue en 1995
thèse

Génie biologique et médical
Soutenue en 1994
thèse