Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800: Recent submissions
Now showing items 1601-1620 of 1776
-
Vérification d'automates temporisés : sûreté, vivacité et modélisation
(Bordeaux, 2016-11-04)Thèses de doctorat -
Utilisation de la compression low-rank pour réduire la complexité des solveurs creux parallèles basés sur des techniques de factorisation directes.
(Bordeaux, 2018-11-29)Thèses de doctorat -
Traitement d’image 2D appliqué à des nuages de points LiDAR 3D
(Université de Bordeaux)Thèses de doctorat -
Diffusion Vidéo avec une Meilleure Qualité d'Expérience et Respectant la Vie Privée
(Bordeaux, 2020-10-07)Thèses de doctorat -
Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT
(Bordeaux, 2018-09-20)Thèses de doctorat -
Questions de localisabilité pour le calcul distribué
(Bordeaux, 2019-12-10)Thèses de doctorat -
Algorithmes de prise de décision stratégique pour robots autonomes
(Bordeaux, 2017-11-27)Thèses de doctorat -
Distribution de contenus collaborative basée sur une plateforme de fonctions réseaux virtualisées en tant que service
(Bordeaux, 2017-11-13)Thèses de doctorat -
Modèles de calcul pour les réseaux d'objets à capacité restreinte
(Bordeaux, 2017-05-22)Thèses de doctorat -
Collaboration interactive 3D en réalité virtuelle pour supporter des scénarios aérospatiaux
(Bordeaux, 2017-10-17)Thèses de doctorat -
Recouvrement des Collectives MPI Non-bloquantes sur Processeur Manycore
(Bordeaux, 2018-12-11)Thèses de doctorat -
Ordonnancement de noyaux d'algèbre linéaire dense sur ressources hétérogènes
(Bordeaux, 2017-04-12)Thèses de doctorat -
Placement d'applications parallèles en fonction de l'affinité et de la topologie
(Bordeaux, 2015-01-26)Thèses de doctorat -
Approches pratiques et théoriques pour l'analyse de modules au sein de réseaux d'interaction protéine-protéine
(Bordeaux, 2016-10-10)Thèses de doctorat -
Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro
(Bordeaux, 2016-12-02)Thèses de doctorat -
Echantillonage d'importance des sources de lumières réalistes
(Bordeaux, 2014-02-27)Thèses de doctorat -
Outils optiques et logiciels pour la conception d’un nouvel écran 3D transparent.
(Bordeaux, 2019-12-09)Thèses de doctorat -
Organisation des développeurs open-source et fiabilité logicielle
(Bordeaux, 2015-11-30)Thèses de doctorat -
La composition des codes parallèles sur plates-formes hétérogènes
(Bordeaux, 2014-12-12)Thèses de doctorat -
De la localité logicielle à la localité matérielle sur les architectures à mémoire partagée, hétérogène et non-uniforme
(Bordeaux, 2018-11-05)Thèses de doctorat