Recherche
-
Ordonnancement et allocation de bande passante dans les systèmes de streaming pair-à-pair multicouches
(Bordeaux 1, 2012-12-10)Thèses de doctorat -
Communication expressive de la forme au travers de l’éclairement et du rendu au trait
(Bordeaux 1, 2010-12-10)Thèses de doctorat -
Aspects temporels d’un système de partitions musicales interactives pour la composition et l’exécution
(Bordeaux 1, 2009-10-26)Thèses de doctorat -
Implantations cryptographiques sécurisées et outils d’aide à la validation des contremesures contre les attaques par canaux cachés
(Bordeaux 1, 2012-03-30)Thèses de doctorat -
A study on the expressive power of some fragments of the modal µ-calculus
(Bordeaux 1, 2010)Thèses de doctorat -
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues
(Bordeaux, 2015-12-04)Thèses de doctorat -
Partitionnement de grands graphes : mesures, algorithmes et visualisation
(Bordeaux 1, 2013-10-10)Thèses de doctorat -
Étude et proposition de services dans les réseaux mobiles militaires de type MANet
(Bordeaux 1, 2009-07-09)Thèses de doctorat -
Contribution à la parallélisation et au passage à l'échelle du code FLUSEPA
(Bordeaux, 2016-09-19)Thèses de doctorat -
Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles
(Bordeaux 1, 2010-11-13)Thèses de doctorat