Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/11177
Title: | Multithreaded algorithm verification by controllable execution of lightweight threads |
Other Titles: | Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков |
Authors: | Ахин Марат Халимович Булгаков Андрей Вадимович Bulgakov Andrey Терехов Андрей Николаевич Terekhov Andrei Nikolаevich |
Issue Date: | 2017 |
URI: | http://hdl.handle.net/11701/11177 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
diploma_final.pdf | Article | 290,64 kB | Adobe PDF | View/Open |
reviewSV_Otzyv_Bugakova.pdf | ReviewSV | 388,73 kB | Adobe PDF | View/Open |
reviewSV_review_scan.pdf | ReviewRev | 5,52 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.