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)
Langages de programmation -- Sémantique
Synchronisation
Concurrence
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é