Le moteur de recherche
des thèses françaises
Sébastien Limet
IdRefMots clés
FR |
EN
Parallélisme (informatique)
Simulation par ordinateur
Calcul intensif (informatique)
Systèmes de réécriture (informatique)
Systèmes informatiques -- Mesures de sûreté
Algorithmes parallèles
Visualisation scientifique
Parallélisme implicite
Logiciels -- Vérification
Réécriture
Calcul haute performance
Programmation par composants
Systèmes virtuels (informatique)
Sécurité
Contrôle d’accès obligatoire
Systèmes d’exploitation
Logiciels malveillants
Poste de travail
Calcul intensif
Systèmes d'exploitation (ordinateurs)