Franck Pommereau
IdRefMots clés
FR |
EN
Petri, Réseaux de
Programmation parallèle (informatique)
Expression régulière
Informatique
Algorithmes parallèles
Logique temporelle
Programmation parallèle
BSP
Génération de code
Automate
Réseaux de neurones
Réseaux neuronaux (informatique)
Vérification de modèles (informatique)
Compilation (informatique)
Concurrence
Logiciels -- Vérification
Méthodes formelles (informatique)
Pi-graphes
Systèmes adaptatifs (technologie)
Pi-calcul