Algorithmes  Analyse tensorielle  Architecture des réseaux d'ordinateurs  Asynchronisme  COM  Calcul intensif  Calculs numériques  Complexité de calcul  Composants logiciels  Concurrence  Concurrence à mémoire partagée  Discrétisation automatique d’EDP en mécanique  Eau -- Distribution  Eiffel  Eiffel  FTP  Formalisation  Grandes transformations  Grilles  Grilles informatiques  Hydrodynamique  Héritage  Informatique dans les nuages  Interblocage asymptotique  Irrigation  Java  Java  Langage  Langages de programmation  Langages de programmation orientés objet  Langages à objets  Logiciels -- Vérification  Logiciels médiateurs  Markov, Processus de  Microprocesseurs multi-coeurs  Mode de transfert asynchrone  Multiphysiques  Mutex  Mémoire partagée répartie  Méthode des éléments finis  Objets actifs  Optimisation combinatoire  Ordinateurs -- Fiabilité  Parallélisme  Parallélisme  Poste à poste  Programmation orienté objet  Programmation orientée objets  Programmation parallèle  Protocoles de réseaux d'ordinateurs  Réutilisation  Simulation par ordinateur  Squelettes algorithmiques  Système de typage  Systèmes embarqués  Systèmes embarqués distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Pannes  Systèmes virtuels  Sémantique  Threads  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Traitement réparti  Verouillage imbriqué  Éléments finis, Méthode des  Équilibrage  États cohérents  Évitement des interblocages  

Denis Caromel a rédigé la thèse suivante :


Denis Caromel a dirigé les 18 thèses suivantes :

Informatique
Soutenue en 2012
Thèse soutenue

Informatique
Soutenue en 2008
Thèse soutenue

Informatique
Soutenue en 2006
Thèse soutenue

Informatique
Soutenue en 2005
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue


Denis Caromel a été président de jury de la thèse suivante :


Denis Caromel a été membre de jury des 2 thèses suivantes :

Mécanique et Physique des Fluides
Soutenue le 05-12-2011
Thèse soutenue