Accès -- Contrôle  Algorithmes  Algorithmes parallèles  Analyse de boucle  Analyse dynamique  Analyse multivariée  Analyse numérique  Analyse statique  Appareils mobiles  Applications parallèles  Apprentissage  Architecture des ordinateurs  Automates à pile  Bases de données -- Interrogation  Bases de données spatio-temporelles  Branch-and-Bound  Calcul haute performance  Calcul intensif  Calcul intensif  Calcul matriciel  Calcul parallèle et distribué à grande échelle  Caractérisation de puissance  Caractérisation d’énergie  Chaines de Markov  Chaînes de Markov  Chiffrement  Chiffrement  Clustering  Clustering hiérarchique  Codelet  Collecte participative  Comparaison stochastique  Confidentialité  Consommation d'énergie  Consommation énergétique minimale  Contrôle des ventilateurs  Contrôle dynamique de fréquences  Coupling  Cryptographie  Cryptographie à clé publique  Demand-Side Management  Diffusion  Données massives  Données spatio-Temporelles  Débogage  Encadrements des QoS  Entrepôts de données  Evaluation de performance  Even-Mansour  Exécution dans le désordre  Feistel  Files d'attente, Théorie des  Grande donnée  HPC  Hypergraphe partitionnement  Hypergraphes  IEEE 802.11p  IRAM  Incertitude  Incertitude dans les paramètres  Indexation  Indistinguabilité  Inter-cell interférences coordination  Interconnexion de réseaux  LTE 4G  LTE  LTE  Librairie libre Glop  Logiciels -- Vérification  Loi de puissance  Loi des grands nombres  MPI  MPI  Marche aléatoire  Marches aléatoires  Markov, Processus de  Matrices  Matériel sécurisé  Mesures de sûreté  Modèles de trafic  Modèles mathématiques  Modélisation rapide  Modélisation systémique  Multi-threading  Multiplexage par répartition orthogonale de la fréquence  Multiprocesseurs  Méthodes numériques  NUMA  Négociation de SLA  OFDM  OLAP  Optimisation  Optimisation combinatoire  Optimisation mathématique  Ordinateurs parallèles  Ordonnancement  Ordonnancement dynamique  PageRank  Parallélisme  Parallélisme  Partage de ressource  Performance  Physique des ondes  Plans coupants  Portfolio  Preuve de sécurité  Problème de Bin Packing Probabiliste  Problème de la mise en boîtes  Problème entier mixtes 0-1  Processeurs à hautes performances  Profilage dynamique  Programmation Par Contraintes  Programmation linéaire  Programmation par contraintes  Programmation parallèle  Protection de l'information  Protection de la vie privée  Protocole  Qualité de Service  Qualité de service  Radiocommunications mobiles privées  Routage  Réputation  Réseaux  Réseaux ad hoc  Réseaux ad hoc de véhicules  Réseaux d'ordinateurs  Réseaux haut débit  Réseaux hétérogènes  Réseaux interdomaine  Réseaux multicouches  Réseaux véhiculaires  Réseaux électriques intelligents  Simulation au cycle près  Simulation par ordinateur  Simulations  Smart Grid  Solveurs  Stockage en mémoire flash  Stratégie a priori  Stratégie de ré-optimisation  Système complexe  Systèmes complexes  Systèmes de communication sans fil  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Mise en oeuvre  Sécurité prouvée  Théorie de graphe  Théorie des jeux  Théorème central limite  Théorème de la limite centrale  Traces de trafic  Traitement réparti  Téléphonie mobile privée  Épidémie  Épidémiologie  Équilibrage de charge parallèle  

21 thèses soutenues ayant pour partenaire de recherche Laboratoire Parallélisme, Réseaux, Systèmes, Modélisation (PRISM)
Extrait des plus récentes :