Canal-U

Mon compte
Inria

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="https://www.canal-u.tv/video/inria/embed.1/tasks_algorithms_and_models_of_distributed_computing_with_michel_together_with_other_colleagues.40695?width=100%&amp;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) :
RAJSBAUM Sergio

Producteur Canal-U :
Inria
Contacter le contributeur
J’aime
Imprimer
partager facebook twitter Google +

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 (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification).
 

commentaires


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

FMSH
 
Facebook Twitter Google+
Mon Compte