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. ...
from Matematički fakultet http://ift.tt/1UHk4Wp
via IFTTT
Нема коментара:
Постави коментар