Guy-René Perrin
IdRefMots clés
FR
Parallélisme (informatique)
Heuristique
Informatique
Preuve automatique
Induction structurelle
Réécriture
Chaînage transitif
Théorèmes -- Démonstration automatique
Concaténation (informatique)
Clusters hétérogènes
Données partagées
Simulation par ordinateur
Ordinateurs -- Programmation
Programmation parallèle (informatique)
Langages de programmation -- Sémantique
Compilateurs (logiciels)
Classification
Bioinformatique
Compilation
Interprétation asynchrone