- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche DART
Apports du parallélisme données au temps réel
- Responsable : Vlad Rusu
- Type : équipe
- Centre(s) de recherche : Lille
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Systèmes embarqués et temps réel
- Université des sciences et technologies de Lille (Lille 1), CNRS, Laboratoire d'informatique fondamentale de Lille (LIFL) (UMR8022)
Présentation de l'équipe
Equipes de recherche du même thème :
- AOSTE - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
- CONVECS - Construction de systèmes concurrents vérifiés
- ESPRESSO - Environnement de spécification de programmes réactifs synchrones
- MUSYNC - Synchronous Realtime Processing and Programming of Music Signals
- PARKAS - Parallélisme de Kahn Synchrone
- POP ART - Contrôle-commande temps réel sûr
- S4 - Synthèse et supervision de systèmes, scénarios
- TRIO - Temps réel et interopérabilité
- VERTECS - modèles et techniques de vérification appliqués au test et au contrôle de systèmes réactifs
Contact
Responsable de l'équipe
Vlad Rusu
En savoir plus
Rechercher une équipe
Par centre de recherche Inria
Inria
Inria.fr
Inria Channel

Voir aussi