La recherche
Département DISC
Département d'Informatique des Systèmes Complexes
Algorithmique numérique distribuée, réseaux mobiles, systèmes distribués, vérification et validation de logiciels et de dispositifs embarqués

Vous êtes ici

Equipes de recherches DISC

› Algorithmique Numérique Distribuée (AND)
- Traitement d’images sur architectures spécifiques
- Algorithmes distribués pour l’IoT
- Sécurité et chiffrement

› Design and Evaluation Of DIstributed Systems (DEODIS)
- Réseaux de capteurs sans fil et systèmes limités en ressources
- Algorithmique pour la collaboration distribuée et l’ordonnancement

› Optimisation, Mobility, NetworkIng (OMNI)
- Réseaux mobiles multi-échelles

› Vérification et validation de logiciels et de systèmes embarqués (VESONTIO)
- Test à partir de modèles ; applications à la sécurité et aux systèmes embarqués
- Algorithmique des modèles finis ; applications à la vérification

Dernière modification :
26/02/2021