Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Jean-Marc Vincent

a dirigé 7 thèses
a été président de jury pour 1 thèse
a été membre de jury pour 2 thèses

Agrégation de données Alcènes Alcénylation Algorithmes randomisés Analyse des données Analyse statique Analyse statistique Applications distribuées Approche macroscopique Architecture à base de composant C C plus-plus Calcul intensif Calcul pair-à-pair de haute performance Carbo-alcénylation Chimie radicalaire sans étain Communication concurrentes Congestion réseau Dimensionnement Environnement décentralisé Evaluation de performance Extrapolation de performance Fortran Grands ordinateurs Infiniband Information et complexité Instrumentation automatique Langages C, C++, Fortran Logiciels -- Vérification Logique épistémique Model checking Modèle de performance Modélisation et simulation Mpi Ordinateurs -- Programmation Passage à l'échelle Propriétés temporelles Prédiction de performances Représentation multi-échelle Réactions multicomposants Réactions multicomposants radicalaires Réactions radicalaires Réduction du slowdown SimGrid Simulation basée sur fichiers de trace Statistique Sulfoximine Sulfoximines Sulfoxyde Sulfoxydes Systèmes hétérogènes Thèses et écrits académiques Traitement réparti Vinylation Vérification dynamique formelle Émergence épistémique Évaluation de performance automatique

Fullscreen

Agrégation de données Alcènes Alcénylation Algorithmes randomisés Analyse des données Analyse statique Analyse statistique Applications distribuées Approche macroscopique Architecture à base de composant C C plus-plus Calcul intensif Calcul pair-à-pair de haute performance Carbo-alcénylation Chimie radicalaire sans étain Communication concurrentes Congestion réseau Dimensionnement Environnement décentralisé Evaluation de performance Extrapolation de performance Fortran Grands ordinateurs Infiniband Information et complexité Instrumentation automatique Langages C, C++, Fortran Logiciels -- Vérification Logique épistémique Model checking Modèle de performance Modélisation et simulation Mpi Ordinateurs -- Programmation Thèses et écrits académiques

Jean-Marc Vincent a dirigé les 7 thèses suivantes :

Analyse macroscopique des grands systèmes : émergence épistémique et agrégation spatio-temporelle

par Robin Lamarche-Perrin sous la direction de Jean-Marc Vincent et de Yves Demazeau . - Grenoble

Informatique

Soutenue le 14-10-2013

Thèse soutenue

Accéder en ligne

Vers une modélisation et un dimensionnement automatique des systèmes répartis

par Ahmed Harbaoui sous la direction de Brigitte Plateau et de Jean-Marc Vincent . - Grenoble

Informatique

Soutenue le 21-10-2011

Thèse soutenue

Accéder en ligne

Prédiction de performances d'applications de calcul haute performance sur réseau Infiniband

par Jérôme Vienne sous la direction de Jean-François Méhaut et de Jean-Marc Vincent . - Université Joseph Fourier (Grenoble)

Informatique

Soutenue en 2010

Thèse soutenue

Exploration randomisée de larges espaces d'états pour la vérification

par Nazha Abed sous la direction de Bruno Gaujal et de Jean-Marc Vincent . - Université Joseph Fourier (Grenoble)

Informatique et mathématiques

Soutenue en 2009

Thèse soutenue

Caches de calculs pour des serveurs webs de requêtes dynamiques

par Euloge Césaire Edi sous la direction de Denis Trystram et de Jean-Marc Vincent . - Grenoble INPG

Recherche opérationnelle. Combinatoire et optimisation

Soutenue en 2005

Thèse soutenue

Mise au point d'algorithmes répartis dans un environnement fortement variable, et expérimentation dans le contexte des pico-réseaux

par Corine Marchand sous la direction de Brigitte Plateau et de Jean-Marc Vincent . - Grenoble INPG

Informatique. Systèmes et communications

Soutenue en 2004

Thèse soutenue

Accéder en ligne

Evaluation de performances d'une classe de systèmes de ressources partagées

par Matthieu Brilman sous la direction de Jean-Marc Vincent - Université Joseph Fourier (Grenoble)

Informatique

Soutenue en 1996

Thèse soutenue

Accéder en ligne

Jean-Marc Vincent a été président de jury de la thèse suivante :

Réaction d'alcénylation d'halogénures d'alkyles et de carbo-alcénylation d'oléfines

par Ahmed Chaambi sous la direction de Yannick Landais et de Raoudha Abderrahim . - Bordeaux

Chimie organique

Soutenue le 13-12-2018

Thèse soutenue

Jean-Marc Vincent a été membre de jury des 2 thèses suivantes :

Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles

par Marion Guthmuller sous la direction de Sylvain Contassot-Vivier et de Martin Quinson . - Université de Lorraine

Informatique

Soutenue le 29-06-2015

Thèse soutenue

Accéder en ligne

Prédiction de performances d’applications de calcul distribué exécutées sur une architecture pair-à-pair

par Bogdan Florin Cornea sous la direction de Julien Bourgeois - Besançon

Informatique

Soutenue le 08-12-2011

Thèse soutenue

Accéder en ligne