Sébastien Limet
IdRefMots clés
FR |
EN
Parallélisme (informatique)
Simulation par ordinateur
Calcul intensif (informatique)
Systèmes informatiques -- Mesures de sûreté
Visualisation scientifique
Logiciels -- Vérification
Réécriture, Systèmes de (informatique)
Algorithmes parallèles
Vectorisation
Détection d’intrusions
Décomposition modulaire
Compression
Signatures
Sécurité sys tème
Données -- Compression (informatique)
Théorie des graphes
Langages non réguliers d’arbres
Réécriture
Stratégie de réécriture
Analyse d’accessibilité