Next:
Méthodes Formelles
Méthodes Formelles
Automates sur les mots de mots
Un outil de preuve sur les graphes
Réécriture conservant la rationnalité
Calculs locaux et protocoles de population
Algorithmes pour les Jeux Stochastiques
Complétude la logique intuitionniste par rapport aux faisceaux de modèles
Méthodes Formelles - Combinatoire et Algorithmique
Étiquetage de connectivité dans les réseaux planaires 3-connexes avec pannes
Combinatoire et Algorithmique
Graphes arbitrairement décomposables
Jeux combinatoires partisans de coloration de graphe
Codes identifiants adaptatifs dans les graphes
Modélisation des communications dans les plates-formes à grande échelle
Recherche d'informations et routage par agents mobiles dans des réseaux dynamiques et défaillants
Calcul distribué de spanners en grande dimension
Algorithmique des agents mobiles
Stratégies d-sures de téléchargement pour les systèmes P2P en cas de clients inciviques
Partitions de l'ensemble des arêtes d'un graphe
Homomorphisme de graphes
Coloration orientée des graphes de degré au plus trois
Coloration d'incidences
Modèles de communication et diffusion d'information
Combinatoire et Algorithmique - MABioVis
Visualisation d'ensembles fréquents maximaux
Requêtes skyline et Spanners géométriques
MABioVis
Dessin de graphes dynamiques
Dessin de graphes contraints
Combinatoire et Algorithmique - Image et Son
Analyse des réseaux métaboliques
Image et Son
Segmentation 3D par Watershed Inter-Voxel
Analyse et manipulation de courbes pour l'animation
Localisation par vidéo portée
Extraction de descripteurs d'objets vidéo HD dans des pyramides de transformées hiérarchiques
Métapiano
Analyse et comparaison des propriétés timbrales d'un morceau de musique, application à la musique électroacoustique
Système hydride de capture de geste sportif
Interfaces utilisateur pour de la création d'objets 3D
Développement d'un outil pour le doigté automatique de partitions de piano
Analyse musicale par tatouage audio-numérique
SAtANas
Ordonnancement structuré de tâches OpenMP
Modèle de performance pour architectures multicoeurs hiérarchiques
Algorithme hiérarchique parallèle pour l'évaluation sur une grille d'un champ électrique
Optimisations inter-processus des communications réseaux
Algorithmique de l'équilibrage de charge pour des couplages de codes complexes
Placement dynamique d'applications sur machine non-uniformes multicoeur
Modèles d'exécutions hybrides pour architectures hétérogènes
Mise oeuvre d'un schéma AMG pour le partitionnement multi-niveaux de graphes
Solveur linéaire parallèle hybride hiérachique
Parallélisation d'algorithmes de renumérotation et de partitionnement de graphe pour des factorisations incomplètes
Langages, Systèmes et Réseaux
Découverte de service dans une flotte hautement volatile de terminaux mobiles communicants
Programmation générative et Reconfiguration matérielle
Mise à jour épidémique et incrémentale des environnements ubiquitaires
Evaluation du modèle à composant SOFTIMA
Plateforme applicative de gestion des connexions d'un réseau recouvrant
Système de nommage à indirections multiples
Approche langage pour l'adaptation dynamique des flux multimédia
Mise à jour épidémique et incrémentale des environnements ubiquitaires
Automatic generation of gateways between network protocols and libraries
Sélection dynamique de fréquence(s) dans les réseaux radio cognitifs multi-sauts
Étude de la connectivité des réseaux mobiles ad-hoc dans un contexte d'asymétrie de la relation de voisinage
About this document ...
Sylvain Marchand 2010-02-08