Odeljenje za matematiku, 8. april 2016.

Naredni sastanak Seminara biće održan u petak, 8. aprila 2016. u sali 301f Matematičkog instituta SANU, sa početkom u 14h.

Predavač: Bojan Marinković, Matematički institut SANU, Beograd

Naslov predavanja: POVEZIVANjE HETEROGENIH PREKRIVAJUĆIH MREŽA

Apstrakt: U okviru predavanja će biti predstavljeni definicija i formalni dokaz nekih svojstava heterogenih prekrivajućih (overlay) mreža.

Biće prikazani opisi protokola Kord (Chord) i Sinapsa (Synapse) pomoću formalizma mašina apstraktnih stanja, kao i dokaz korektnosti formalizacije protokola Kord.

Biće data i verovatnosna ocena uspešnosti pretrage prilikom korišćenja protokola Sinapsa.


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.