Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 149179

Parallel approaches to BDD manipulation


Grudenić, Igor; Bogunović, Nikola
Parallel approaches to BDD manipulation // MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems / Budin, Leo ; Ribarić, Slobodan (ur.).
Rijeka: HU MIPRO, 2004. str. 54-58 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 149179 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Parallel approaches to BDD manipulation

Autori
Grudenić, Igor ; Bogunović, Nikola

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems / Budin, Leo ; Ribarić, Slobodan - Rijeka : HU MIPRO, 2004, 54-58

Skup
MIPRO 2004, XXVII International Convention

Mjesto i datum
Opatija, Hrvatska, 24-28.05.2004

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
BDD ; formal methods ; symbolic model checking ; parallel algorithms ; formal verification

Sažetak
Symbolic model checking is an automatic method for system verification in which the system is given as a Binary Decision Diagram (BDD) encoded finite state machine. BDD is a common data structure for representation of mathematical objects. The main issue in symbolic model checking is a state explosion problem that restricts the verification domain. In this paper we present possibilities for the parallelization of BDD manipulation algorithms in order to enable verification of complex systems. We also demonstrate results of our parallel algorithm for computing BDD operations.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekti:
0036051
0098023

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb,
Institut "Ruđer Bošković", Zagreb

Profili:

Avatar Url Igor Grudenić (autor)

Avatar Url Nikola Bogunović (autor)


Citiraj ovu publikaciju

Grudenić, Igor; Bogunović, Nikola
Parallel approaches to BDD manipulation // MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems / Budin, Leo ; Ribarić, Slobodan (ur.).
Rijeka: HU MIPRO, 2004. str. 54-58 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Grudenić, I. & Bogunović, N. (2004) Parallel approaches to BDD manipulation. U: Budin, L. & Ribarić, S. (ur.)MIPRO 2004 Proceedings of the Joint Conferences Computers in technical systems and Intelligent systems.
@article{article, year = {2004}, pages = {54-58}, keywords = {BDD, formal methods, symbolic model checking, parallel algorithms, formal verification}, title = {Parallel approaches to BDD manipulation}, keyword = {BDD, formal methods, symbolic model checking, parallel algorithms, formal verification}, publisher = {HU MIPRO}, publisherplace = {Opatija, Hrvatska} }
@article{article, year = {2004}, pages = {54-58}, keywords = {BDD, formal methods, symbolic model checking, parallel algorithms, formal verification}, title = {Parallel approaches to BDD manipulation}, keyword = {BDD, formal methods, symbolic model checking, parallel algorithms, formal verification}, publisher = {HU MIPRO}, publisherplace = {Opatija, Hrvatska} }




Contrast
Increase Font
Decrease Font
Dyslexic Font