Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Идея transactional memory: Software transactional memory Hardware transactional memory: Преимущества и круг задач Верификация || программ: Model Checking Лекция №13 в курсе "Параллельное программирование", весна 2016 (обновлённая версия лекции, записанная весной 2018) Преподаватель курса: Евгений Леонидович Калишенко Страница лекции на сайте CS центра:
