Rapports d'activité (en anglais seulement)
Algorithmique distribuée, systèmes pair-à-pair et grilles, services, qualité et sécurité (réseaux), mobilité.
-
ACES
Informatique diffuse et systèmes embarqués
-
ADEPT
Algorithmes pour des systèmes dynamiques sûrs
-
ASAP
As Scalable As possible : fondements des systèmes large-échelle dynamiques
-
DIONYSOS
Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
-
DISTRIBCOM
Algorithmes itératifs et distribués pour la gestion de réseaux et le traitement du signal en télécommunications
-
KERDATA
Gestion de données distribuées à très grande échelle pour les grilles et les clouds
Ingénierie des modèles, vérification, architectures logicielles et matérielles,
-
ALF
Amdah's Law is Forever
-
CAIRN
Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
-
CELTIQUE
Semantic Analysis for Software Certification
-
ESPRESSO
Environnement de spécification de programmes réactifs synchrones
-
S4
Synthèse et supervision de systèmes, scénarios
-
TRISKELL
Construction fiable et efficace d'applications par assemblage de composants logiciels
-
VERTECS
Modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Modèles et méthodes numériques et/ou statistiques, codage et communication vidéo
-
ASPI
Applications statistiques des systèmes de particules en interaction
-
LAGADIC
Asservissement visuel en robotique, vision et animation
-
METISS
Modélisation et expérimentation pour le traitement des informations et des signaux sonores
-
SAGE
Simulations et algorithmes sur des grilles de calcul appliqués à l'environnement
-
TEMICS
Traitement, modélisation et communication d'images numériques
-
VISAGES
Vision, action et gestion d'informations en santé
Documents multimédia, apprentissage symbolique, réalité virtuelle, bioinformatique
-
BUNRAKU
Perception décision et action d'humains réels et virtuels au sein d'univers virtuels et impact sur le monde réel
-
CORDIAL
Dialogue oral homme machine
-
DREAM
Diagnostic, raisonnement et apprentissage, modélisation
-
IMADOC
Interprétation et reconnaissance d'images et de documents
-
LIS
Systèmes d'information logique
-
PILGRIM
Prise en compte de la gradualité, de l'imprécision et de la médiation dans les systèmes de gestion de bases de données.
-
SYMBIOSE
Systèmes et modèles biologiques, bioinformatique et séquences
-
TEXMEX
Techniques d'exploitation des données multimédia