Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/39484
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Новиков Федор Александрович | ru_RU |
dc.contributor.advisor | Novikov Fedor Aleksandrovic | en_GB |
dc.contributor.author | Моисеенко Евгений Александрович | ru_RU |
dc.contributor.author | Moiseenko Evgenij Aleksandrovic | en_GB |
dc.contributor.editor | Кознов Дмитрий Владимирович | ru_RU |
dc.contributor.editor | Koznov Dmitrij Vladimirovic | en_GB |
dc.date.accessioned | 2023-04-06T21:47:25Z | - |
dc.date.available | 2023-04-06T21:47:25Z | - |
dc.date.issued | 2022 | |
dc.identifier.other | 013039 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/39484 | - |
dc.description.abstract | Weakestmo является недавно предложенной моделью памяти для языков программирования, основанной на формализме структур событий. В данной работе устанавливается корректность оптимальных схем компиляции из модели Weakestmo в модели памяти современных мультипроцессоров (x86, POWER, ARM). Предложенное доказательство вместе с моделью Weakestmo было формализовано в системе для интерактивного доказательства теорем Coq. | ru_RU |
dc.description.abstract | Weakestmo is a recently proposed programming language level memory model based on event structures. In this work a correctness of intended compilation schemes from Weakestmo to a wide range of formal hardware memory models (x86, POWER, ARM) is established. The proposed compilation proof along with the Weakestmo itself model were mechanized with the help of the Coq proof assistant. | en_GB |
dc.language.iso | ru | |
dc.subject | Формальная семантика | ru_RU |
dc.subject | многопоточное программирование | ru_RU |
dc.subject | слабые модели памяти | ru_RU |
dc.subject | структуры событий | ru_RU |
dc.subject | Formal semantics | en_GB |
dc.subject | concurrent computing | en_GB |
dc.subject | weak memory models | en_GB |
dc.subject | event structures | en_GB |
dc.title | Event structures and modern multiprocessors | en_GB |
dc.title.alternative | Структуры событий и современные мультипроцессоры | ru_RU |
Располагается в коллекциях: | DOCTORAL STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
vkr.pdf | Article | 436,08 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_VKR_Moiseenko.docx.pdf | ReviewSV | 84,19 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.