Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/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: http://ena.lp.edu.ua:8080/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 р.



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.