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 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 données  Analyse de graphe  Analyse de réseaux sociaux  Analyse de singularités  Analyse de variance  Analyse d’erreur  Analyse statique  Analyse stochastique  Antémémoire  Aperiodicité  Applications concurrentes  Applications de flots de données  Applications multilinéaires cryptographiques  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  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 parallèle  Calcul rigoureux  Calcul scientifique  Calcul scientifique vérifié  Calcul symbolique  Calcul à haute performance  Calculabilité  Calculs parallèles  Calculs validés  Canaux cachés  Candidats de réductibilité  Caractérisation d'applications  Carré  Catégories  Certificats  Charge de travail en rafale  Chaînes de Markov  Chaînes de Markov Monte Carlo  Chemin de données arithmétique  Chemin multiples  Chemin unique  Chiffrement  Chiffrement  Chiffrement homomorphe  Chiffres  Circuit structurel  Circuits arithmétiques  Classe sociale  Classes sociales  Clique-stable séparation  Cloud computing  Compilation  Complexité  Complexité algébrique  Complexité de calcul  Complexité implicite  Cryptographie  Dilemme du fabricant de tables  Données massives  Déploiement  Efficacité énergétique  Exascale  FPGA  Factorisation  Fonctions D-finies  Fonctions élémentaires  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  Modèle polyédrique  Modèles de Taylor  Multiplication de matrices  Optimisation  Ordinateurs -- Fiabilité  Ordonnancement  Ordonnancement  Placement  Programmation linéaire  Programmes linéaires  Qualité de Service  Réalisabilité  Réseau  Réseaux ad hoc  Réseaux complexes  Réseaux d'ordinateurs  Réseaux de terrain dynamiques  Résilience  Systèmes Distribués  Systèmes distribués  Systèmes dynamiques  Systèmes polynomiaux  Systèmes virtuels  Théorie de Valiant  Tolérance aux fautes  Tolérance aux pannes  Virgule flottante  Économies d'énergie  Énergie  

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

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
Informatique
Soutenue le 29-06-2017
thèse