Le moteur de recherche
des thèses françaises
Ludovic Henrio
IdRefMots clés
FR |
EN
Parallélisme
Programmation parallèle (informatique)
Compilation
Compilation (informatique)
Synchronisation
Complexité de calcul (informatique)
Sémantique opérationnelle
Vérification
Objets actifs
Futurs
DCOM (architecture des ordinateurs)
Sémantique formelle
Processus léger
Section atomique
Verrou
Bonne synchronisation
Trace de programme
Atomicité
Assistant de preuve
Préservation de la sémantique