Olivier Zendra
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes embarqués (informatique)
Analyse statique
Systèmes embarqués
Langages de programmation orientés objet
Apprentissage automatique
Sécurité
Systèmes informatiques -- Mesures de sûreté
Systèmes embarqués autonomes
Algorithmes hybrides
Basse énergie
Fonctions multimodales
Gestion mémoire
Optimisations
Gestion mémoire (informatique)
Consommation d'énergie
Optimisation mathématique
Langages à objets
Compilation
Généricité