Вы здесь

  • Войдите, чтобы отправлять комментарии

Параллельное программирование (2014). Лекция 12

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Евгений Калишенко
Курс лекций:
Дата записи:
11.05.14
Дата публикации:
15.05.14
Код для блога:

Консенсус. Сети Петри

  • Консенсус
    1. Консенсусное число RMW-регистров
    2. Универсальность CAS-операций
  • Верификация || программ (сети Петри)

Страница лекции на сайте Computer Science Club

Другие лекции курса

12
Параллельное программирование (2014). Лекция 2
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 1
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Хит
Параллельное программирование (2014). Лекция 3
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 4
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 5
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 6
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 7
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Хит
Параллельное программирование (2014). Лекция 8
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Хит
Параллельное программирование (2014). Лекция 9
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 10
Computer Science клуб при ПОМИ РАН
Евгений Калишенко
Параллельное программирование (2014). Лекция 11
Computer Science клуб при ПОМИ РАН
Алексей Злобин
Параллельное программирование (2014). Лекция 13
Computer Science клуб при ПОМИ РАН
Евгений Калишенко