Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними

Simple item page
dc.citation.conference9-ї Міжнародна наукова конференція "Інформація, комунікація, суспільство 2020"
dc.citation.epage18
dc.citation.journalTitleІнформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції
dc.citation.spage17
dc.contributor.affiliationЦентральноукраїнський національний технічний університет
dc.contributor.authorМіхав, Володимир
dc.contributor.authorМелешко, Єлизавета
dc.coverage.placenameЛьвів
dc.coverage.placenameLviv
dc.coverage.temporal21–23 травня 2020 року, Львів
dc.date.accessioned2023-04-25T09:15:15Z
dc.date.available2023-04-25T09:15:15Z
dc.date.created2020-05-21
dc.date.issued2020-05-21
dc.description.abstractIn 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.extent17-18
dc.format.pages2
dc.identifier.citationМіхав В. Порівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними / Володимир Міхав, Єлизавета Мелешко // Інформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 21–23 травня 2020 року, Львів. — Львів : Видавництво Львівської політехніки, 2020. — С. 17–18. — (Інформаційні та комунікаційні технології в Internet та World Wide Web).
dc.identifier.citationenMikhav 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 : Lviv Politechnic Publishing House, 2020. — P. 17–18. — (Informatsiini ta komunikatsiini tekhnolohii v Internet ta World Wide Web).
dc.identifier.isbn978-966-941-464-9
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/58395
dc.language.isouk
dc.publisherВидавництво Львівської політехніки
dc.publisherLviv Politechnic Publishing House
dc.relation.ispartofІнформація, комунікація, суспільство 2020 : матеріали 9-ї Міжнародної наукової конференції, 2020
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.rights.holder© Національний університет “Львівська політехніка”, 2020
dc.subjectбінарні діаграми рішень
dc.subjectBDD
dc.subjectграфи
dc.subjectзберігання даних
dc.subjectобробка даних
dc.titleПорівняння стратегій редагування бінарних діаграм рішень для роботи з графовими даними
dc.typeConference Abstract

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
2020_Mikhav_V-Porivniannia_stratehii_redahuvannia_17-18.pdf
Size:
427.15 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
2020_Mikhav_V-Porivniannia_stratehii_redahuvannia_17-18__COVER.png
Size:
1.21 MB
Format:
Portable Network Graphics
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.81 KB
Format:
Plain Text
Description:
Download

Collections

Інформація,комунікація,суспільство (ICS-2020). – 2020 р.