Одељење за математику, 8. април 2016.

• 01. Април, 2016
• Коментари (0)

Наредни састанак Семинара биће одржан у петак, 8. априла 2016. у сали 301ф Математичког института САНУ, са почетком у 14h.

Предавач: Бојан Маринковић, Математички институт САНУ, Београд

Наслов предавања: ПОВЕЗИВАЊЕ ХЕТЕРОГЕНИХ ПРЕКРИВАЈУЋИХ МРЕЖА

Апстракт: У оквиру предавања ће бити представљени дефиниција и формални доказ неких својстава хетерогених прекривајућих (overlay) мрежа.

Биће приказани описи протокола Корд (Chord) и Синапса (Synapse) помоћу формализма машина апстрактних стања, као и доказ коректности формализације протокола Корд.

Биће дата и вероватносна оцена успешности претраге приликом коришћења протокола Синапса.