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

Пятница, 13 мая 2016, 20:00–21:20
Таймс, 4 этаж

Описание

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