2-joint  802. 11   Accréditations anonyme  Accumulation flottante  Addition pipelinée  Additionneur rapide  Algorithme LLL  Algorithme SLZ  Algorithme de Remez  Algorithme de programmation dynamique  Algorithme d’ordonnancement  Algorithme glouton  Algorithmes  Algorithmes de reconstruction  Algorithmes distribués  Algorithmes gloutons  Algorithmes numériques  Algorithmes optimaux  Algorithmes parallèles  Algorithmes rapides  Algorithmique de graphe  Algorithmique probabiliste  Algèbre  Algèbre de Frobenius  Algèbre de Hopf  Algèbre de Kleene  Algèbre de relations  Algèbre linéaire  Algèbre linéaire creuse  Algèbre linéaire numérique  Aliasing de registres  Allocation  Allocation de registres découplée  Allocation des registres  Allocation mémoire  Analyse Bibliométrique  Analyse combinatoire énumérative  Analyse d'erreur  Analyse de coût  Analyse de données  Analyse de graphe  Analyse de réseaux sociaux  Analyse de singularités  Analyse de temps  Analyse de variance  Analyse d’erreur  Analyse statique  Analyse stochastique  Antémémoire  Aperiodicité  Applications concurrentes  Applications de flots de données  Applications de traitement de flux de données  Applications multilinéaires cryptographiques  Apprentissage profond  Apprentissage semi-supervisé  Approximation de Hermite-Padé  Approximation de fonctions  Approximation minimax  Approximation polynomiale  Approximation polynomiale et rationnelle  Approximation polynomiale rigoureuse  Approximations polynomiales rigoureuses  Arbres de dimension  Architecture  Architecture VLIW  Architecture des ordinateurs  Architectures NUMA  Arithmétique  Arithmétique Flottante  Arithmétique complexe en virgule flottante  Arithmétique de Peano  Arithmétique des ordinateurs  Arithmétique d’intervalles  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique interne des ordinateurs  Arithmétique multi-précision  Arithmétique par intervalles  Arithmétique virgule fixe  Arithmétique virgule flottante  Arithmétique à virgule flottante  Arrondi correct  Assistants de preuve  Association  Asynchronisme  Attracteur  Attracteur de Hénon  Attracteurs étranges  Auto-reconfiguration  Auto-stabilisation  Automates mathématiques, Théorie des  Autonomic  Autostabilisation  Axiome du choix  Aérospatial  BLAS  Bande passante disponible  Bar-récursion  Bases de Gröbner  Bibliométrie  Bibliothèque Flocq  Bibliothèque Maple  BigData  Bioinformatique  Bisimulations  Bornes déterministes  Bornes inférieures  Boucles  CPS  Calcul GPGPU  Calcul Intensif  Calcul des constructions  Calcul distribué  Calcul formel  Calcul haute performance  Calcul intensif  Calcul numérique rigoureux  Calcul parallèle  Calcul rigoureux  Calcul scientifique  Calcul scientifique vérifié  Calcul symbolique  Calcul à haute performance  Calculabilité  Chiffrement  Circuits arithmétiques  Cloud computing  Compilation  Complexité  Complexité algébrique  Complexité de calcul  Complexité implicite  Concurrence  Cryptographie  Dilemme du fabricant de tables  Données massives  Déploiement  Efficacité énergétique  Exascale  FPGA  Factorisation  Fonctions D-finies  Fonctions élémentaires  Gestion de données  Graphes, Théorie des  Grilles informatiques  HPC  Heuristiques  IEEE 802.11  IEEE 802.11  Informatique  Informatique dans les nuages  Informatique verte  Intergiciel  Intergiciel de grille  Isomorphisme de Curry-Howard  Lambda-calcul  Logique linéaire  MPI  Markov, Processus de  Modèle polyédrique  Modèles de Taylor  Multiplication de matrices  Optimisation  Ordinateurs -- Fiabilité  Ordonnancement  Ordonnancement  Performances  Placement  Programmation linéaire  Programmes linéaires  Qualité de Service  Qualité de service  Réalisabilité  Réseau  Réseaux ad hoc  Réseaux complexes  Réseaux d'ordinateurs  Réseaux de terrain dynamiques  Réseaux locaux sans fil  Réseaux sociaux  Résilience  Systèmes Distribués  Systèmes de télécommunications  Systèmes distribués  Systèmes dynamiques  Systèmes polynomiaux  Systèmes virtuels  Sémantique des jeux  Sémantique dénotationnelle  Théorie de Valiant  Théorie des graphes  Tolérance aux fautes  Tolérance aux pannes  Virgule flottante  Workflow  Économies d'énergie  Énergie  

110 thèses soutenues ayant pour partenaire de recherche Laboratoire de l'informatique du parallélisme (Lyon)
Extrait des plus récentes :

Informatique
Soutenue le 14-01-2020
thèse
Informatique
Soutenue le 09-01-2020
thèse
Informatique
Soutenue le 16-12-2019
thèse
Informatique
Soutenue le 16-10-2019
thèse
Informatique
Soutenue le 21-11-2018
thèse
Informatique
Soutenue le 08-06-2018
thèse
Informatique
Soutenue le 29-09-2017
thèse
Informatique
Soutenue le 15-09-2017
thèse
Informatique
Soutenue le 13-07-2017
thèse