Sites Inria

Il y a 1 Résultats avec le mot clé : "Data structures"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

18/06/2018

Arguments about linearizability of a concurrent data structure are typically carried out by specifying the linearization points of the data structure's procedures.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 14h00

Intervenant(s) : Germán Delbianco (IRIF)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !