| DC Field | Value | Language |
|---|
| dc.contributor.author | Міхав, Володимир | |
| dc.contributor.author | Мелешко, Єлизавета | |
| dc.coverage.temporal | 21–23 травня 2020 року, Львів | |
| dc.date.accessioned | 2020-07-01T20:49:16Z | - |
| dc.date.available | 2020-07-01T20:49:16Z | - |
| dc.date.created | 2020-05-21 | |
| dc.date.issued | 2020-05-21 | |
| dc.identifier.citation | Міхав В. Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними / Володимир Міхав, Єлизавета Мелешко // Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 21–23 травня 2020 року, Львів. — Львів : Видавництво Львівської політехніки, 2020. — С. 17–18. — (Інформаційні та комунікаційні технології в Internet та World Wide Web). | |
| dc.identifier.isbn | 978-966-941-464-9 | |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/52752 | - |
| dc.description.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. | |
| dc.format.extent | 17-18 | |
| dc.language.iso | uk | |
| dc.publisher | Видавництво Львівської політехніки | |
| dc.relation.ispartof | Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 2020 | |
| dc.subject | бінарні діаграми рішень | |
| dc.subject | BDD | |
| dc.subject | графи | |
| dc.subject | зберігання даних | |
| dc.subject | обробка даних | |
| dc.title | Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними | |
| dc.type | Conference Abstract | |
| dc.rights.holder | © Національний університет “Львівська політехніка”, 2020 | |
| dc.contributor.affiliation | Центральноукраїнський національний технічний університет | |
| dc.format.pages | 2 | |
| dc.identifier.citationen | 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). | |
| dc.relation.references | [1] Карпов, Ю.Г. (2010), “Model сhecking. Верификация параллельных и распределенных программных систем”, СПб.: БХВ-Петербург, С. 295-366 | |
| dc.relation.references | [2] Кнут Д.Э. (2013) “Искусство программирования, Том 4А. Комбинаторные алгоритмы, часть 1”, М.: Вильямс, 960 с | |
| dc.relation.referencesen | [1] Karpov, Iu.H. (2010), "Model shecking. Verifikatsiia parallelnykh i raspredelennykh prohrammnykh sistem", SPb., BKhV-Peterburh, P. 295-366 | |
| dc.relation.referencesen | [2] Knut D.E. (2013) "Iskusstvo prohrammirovaniia, V. 4A. Kombinatornye alhoritmy, chast 1", M., Viliams, 960 s | |
| dc.citation.conference | 9-ї Міжнародна наукова конференція "Інформація, комунікація, суспільство 2020" | |
| dc.citation.journalTitle | Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції | |
| dc.citation.spage | 17 | |
| dc.citation.epage | 18 | |
| dc.coverage.placename | Львів | |
| dc.coverage.placename | Lviv | |
| Appears in Collections: | Інформація,комунікація,суспільство (ICS-2020). – 2020 р.
|
