Трансляционные информационные технологии
/
Технологии программирования, искусственный интеллект, биоинформатика
Кокорин И.В. (науч. рук. Аксенов В.Е.) Разработка алгоритма исполнения программ в модели Nesting-Safe Recoverable Linearizability
УДК тезиса: 004.855.5
Работа нацелена на разработку алгоритма исполнения конкурентных программ, поддерживающих восстановление после сбоев, при наличии энергонезависимой, побайтово адресуемой памяти (NVRAM).
Кокорин И.В. (науч. рук. Аксенов В.Е.) Разработка алгоритма исполнения программ в модели Nesting-Safe Recoverable Linearizability // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/4897