Gérard Boudol
IdRefMots clés
FR |
EN
Langages de programmation
Inférence
Concurrence à mémoire partagée
Mutex
Verouillage imbriqué
Évitement des interblocages
Interblocage asymptotique
Mémoire partagée répartie
Threads (logiciels)
Microprocesseurs multi-coeurs
Lambda-calcul
Programmation orientée objets (informatique)
Programmation parallèle (informatique)
Ordinateurs -- Mémoires
Multiprocesseurs
Architecture des ordinateurs
Sécurité
Mobilité
Flux d’information
Déclassification