Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Консенсус. Сети Петри
Параллельное программирование
Что:
Лекция
Когда:
Понедельник, 05 мая 2014, 11:15–12:50
Где:
ПОМИ РАН
Слайды:
hp_course_lecture_050514.pdf
Описание
Консенсус
Консенсусное число RMW-регистров
Универсальность CAS-операций
Верификация || программ (сети Петри)
Видео
