Транзакционная память. Сети Петри
Параллельное программирование


Что: Лекция
Когда: Пятница, 13 мая 2016, 20:00–21:20
Где: Таймс, 4 этаж

Описание

  • Идея transactional memory:
    • Software transactional memory
    • Hardware transactional memory:
  • Преимущества и круг задач
  • Верификация || программ:
    • Model Checking

Видео