Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/11177
Название: | Multithreaded algorithm verification by controllable execution of lightweight threads |
Другие названия: | Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков |
Авторы: | Ахин Марат Халимович Булгаков Андрей Вадимович Bulgakov Andrey Терехов Андрей Николаевич Terekhov Andrei Nikolаevich |
Дата публикации: | 2017 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/11177 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
diploma_final.pdf | Article | 290,64 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_Bugakova.pdf | ReviewSV | 388,73 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_review_scan.pdf | ReviewRev | 5,52 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.