https://oldena.lpnu.ua/handle/ntb/52752| Title: | Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними |
| Authors: | Міхав, Володимир Мелешко, Єлизавета |
| Affiliation: | Центральноукраїнський національний технічний університет |
| Bibliographic description (Ukraine): | Міхав В. Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними / Володимир Міхав, Єлизавета Мелешко // Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 21–23 травня 2020 року, Львів. — Львів : Видавництво Львівської політехніки, 2020. — С. 17–18. — (Інформаційні та комунікаційні технології в Internet та World Wide Web). |
| Bibliographic description (International): | Mikhav V. Porivniannia stratehii redahuvannia binarnykh diahram rishen dlia roboty z hrafovymy danymy / Volodymyr Mikhav, Yelyzaveta Meleshko // Informatsiia, komunikatsiia, suspilstvo 2020 : materialy 9-yi Mizhnarodnoi naukovoi konferentsii, 21–23 travnia 2020 roku, Lviv. — Lviv : Vydavnytstvo Lvivskoi politekhniky, 2020. — P. 17–18. — (Informatsiini ta komunikatsiini tekhnolohii v Internet ta World Wide Web). |
| Is part of: | Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 2020 |
| Conference/Event: | 9-ї Міжнародна наукова конференція "Інформація, комунікація, суспільство 2020" |
| Journal/Collection: | Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції |
| Issue Date: | 21-May-2020 |
| Publisher: | Видавництво Львівської політехніки |
| Place of the edition/event: | Львів Lviv |
| Temporal Coverage: | 21–23 травня 2020 року, Львів |
| Keywords: | бінарні діаграми рішень BDD графи зберігання даних обробка даних |
| Number of pages: | 2 |
| Page range: | 17-18 |
| Start page: | 17 |
| End page: | 18 |
| Abstract: | In this work, we research binary decision diagrams’ editing. We describe the main algorithm, show the evolution way of the BDD editing strategies, and compared their productivity. |
| URI: | https://ena.lpnu.ua/handle/ntb/52752 |
| ISBN: | 978-966-941-464-9 |
| Copyright owner: | © Національний університет “Львівська політехніка”, 2020 |
| References (Ukraine): | [1] Карпов, Ю.Г. (2010), “Model сhecking. Верификация параллельных и распределенных программных систем”, СПб.: БХВ-Петербург, С. 295-366 [2] Кнут Д.Э. (2013) “Искусство программирования, Том 4А. Комбинаторные алгоритмы, часть 1”, М.: Вильямс, 960 с |
| References (International): | [1] Karpov, Iu.H. (2010), "Model shecking. Verifikatsiia parallelnykh i raspredelennykh prohrammnykh sistem", SPb., BKhV-Peterburh, P. 295-366 [2] Knut D.E. (2013) "Iskusstvo prohrammirovaniia, V. 4A. Kombinatornye alhoritmy, chast 1", M., Viliams, 960 s |
| Content type: | Conference Abstract |
| Appears in Collections: | Інформація,комунікація,суспільство (ICS-2020). – 2020 р. |
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2020_Mikhav_V-Porivniannia_stratehii_redahuvannia_17-18.pdf | 427.15 kB | Adobe PDF | View/Open | |
| 2020_Mikhav_V-Porivniannia_stratehii_redahuvannia_17-18__COVER.png | 1.24 MB | image/png | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.