- 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
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
- 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é
- VASY - Validation de systèmes, recherche et application
- 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 Channel

Voir aussi