Le moteur de recherche
des thèses françaises
Claire Pagetti
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
Ordonnancement (informatique)
Microprocesseurs multi-coeurs
Ordonnancement
Systèmes embarqués
Vérification formelle
Analyse Pire Cas
Méthodes formelles
Réseaux neuronaux (informatique)
Sûreté de fonctionnement
Méthodes formelles (informatique)
Fiabilité
Sûreté
Réseaux de neurones
Systèmes informatiques -- Mesures de sûreté
Apprentissage automatique
Multiprocesseurs
Criticité mixte
Ethernet (système de réseau local)