The BG simulation: an algorithmic tool for impossibility results
Damien Imbs (IM-UNAM) - martes 4 de septiembre, 12 horas
Ponente: Damien Imbs (IM-UNAM)
When |
Sep 04, 2012
from 12:00 PM to 01:00 PM |
---|---|
Where | Salón "Graciela Salicrup" |
Add event to calendar |
vCal iCal |
Resumen:
In distributed computing, some models do not allow solving all problems. There are various ways to prove such impossibilities. In this talk, we will see a purely algorithmic tool for proving such impossibilities: the BG simulation. This simulation shows that, in an asynchronous system, the important parameter with regard to calculability is not the total number of cooperating processes; it is how many of them can fail.