Accélérateur matériel  Algorithmes  Algèbre linéaire  Architecture parallèle  Calcul formel  Calcul vectoriel  Cao  Circuit intégré  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Compilateur de silicium  Compilateurs de silicium  Compilation  Conception assistée par ordinateur  Dynamiques d'attracteurs  Exceptions  Flots de données  Généricité  Hdl  Ieee  Implantation  Langage de description du matériel  Langage fonctionnel et parallèle  Langages de programmation fonctionnelle  Llc  Logiciels -- Évaluation  Logique temporelle  Machine à mémoire distribuée  Machines hypercube  Multi-processeur  Mémoire des visages  Méthode de région de confiance  Méthodologie  Non-holonomie  Obstacles mobiles  Ordinateurs -- Mémoires  Parallélisme  Parallélisme  Planification ciné-dynamique  Planification de mouvement  Programmation dynamique  Programmation parallèle  Protocoles de réseaux d'ordinateurs  Reconnaissances des mots  Reséquencement  Robot mobile  Robotique  Répartition de la Charge  Réseaux Multi-étages  Réseaux d'ordinateurs  Réseaux de Files d'attente  Réseaux de neurones  Réseaux neuronaux  Rétro-propagation de gradient  Simulation de pannes  Simulation fonctionnelle  Simulation logique  Simulation multi-niveaux  Solution rationnelle  Spécification  Spécification algébrique  Supercalculateur  Synchronisme  Synthèse d'image  Systèmes linéaires  Systèmes temps réel  Sémantique  Temps réel  Traitement d'image  Transformation de programmes  Vlsi  Vérification  Équivalence Topologique  Évaluation de performances  

Jean-Pierre Verjus a dirigé les 5 thèses suivantes :


Jean-Pierre Verjus a été membre de jury des 8 thèses suivantes :

Informatique
Soutenue en 1989
Thèse soutenue