Julien Iguchi-Cartigny
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Cartes à mémoire
Systèmes informatiques -- Mesures de sûreté
Isolation mémoire
Internet des objets
Réseaux ad hoc (informatique)
Systèmes embarqués
Vérification formelle
Systèmes d’exploitation (ordinateurs)
Microcontrôleurs
Ordinateurs -- Mémoires
Assistants de preuve
Logiciels -- Vérification
Proto-Noyau
Systèmes d'exploitation (ordinateurs)
Gestion mémoire (informatique)
Microprocesseurs multi-coeurs
Informatique dans les nuages
OLSR (protocole de réseaux d'ordinateurs)
Gestion de traces