Mon compte

Tasks, algorithms, and models of distributed computing with Michel (together with other colleagues)

Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src=";height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s
Auteur(s) :

Producteur Canal-U :
Contacter la chaine
partager facebook twitter

Tasks, algorithms, and models of distributed computing with Michel (together with other colleagues)

In this talk, I describe some of the work I have done with Michel (and others) over a very productive period that started 15 years ago, and hopefully will last for many more years, where we have published an average of two conference papers and one journal paper per year, and have met many times in Mexico, France and other places. I concentrate on our more recent work on interval-linearizability, a notion we introduced to specify objects more general than the usual sequentially specified objects. While tasks explicitly state what might happen when a set of processes run concurrently, objects only specify what happens when processes access the object sequentially. Remarkably, these are two approaches that have largely remained independent since the early days of the theory of distributed computing. I describe the bridges we establish between these two paradigms, and our discussions about what is a distributed problem, and what it means to solve it.

    Date de réalisation : 5 Mai 2017
    Durée du programme : 38 min
    Classification Dewey : Distributed processing, informatique distribuée
    Catégorie : Conférences
    Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
    Disciplines : Informatique
    Collections : International Workshop on Distributed Computing in the honor of Michel Raynal
    ficheLom : Voir la fiche LOM
    Auteur(s) : RAJSBAUM Sergio
    producteur : INRIA (Institut national de recherche en informatique et automatique)
    Langue : Anglais
    Mots-clés : informatique distribuée, calcul distribué
    Conditions d’utilisation / Copyright : Document libre, dans le cadre de la licence Creative Commons (, citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification).


Ajouter un commentaire Lire les commentaires
*Les champs suivis d’un astérisque sont obligatoires.
Aucun commentaire sur cette vidéo pour le moment (les commentaires font l’objet d’une modération)

Dans la même collection

Facebook Twitter
Mon Compte