Intranet
Vous êtes ici : Accueil Activités scientifiques Rapports d'activité
Actions sur le document

Rapports d'activité (en anglais seulement)

Thème 6    Réseaux et systèmes distribués

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

Thème 7    Logiciel et architectures

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

Thème 8    Signaux et images numériques

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é

Thème 9    Données et interaction

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


Mentions légales et crédits