Constantin Enea

Un aperçu de la linéarisation forte et son importance dans la programmation concurrente.

De nouvelles méthodes améliorent la détection de bugs dans les systèmes distribués en utilisant des techniques d'apprentissage par renforcement.