Le moteur de recherche
des thèses françaises
Louis Rilling
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Informatique dans les nuages
Firewalls
Systèmes embarqués
Hyperviseur
Temps-réel
WCET
Contention mémoire
Algorithme génétique
Systèmes embarqués (informatique)
Satellites artificiels
Systèmes à paramètres répartis
Systèmes de grandes dimensions
Systèmes d'exploitation répartis
Tolérance aux fautes (informatique)
Mémoire partagée répartie
Concurrence
Vérification formelle
Transformation de code