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

Napredna pretraga

Pregled bibliografske jedinice broj: 238462

Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja


Grudenić, Igor
Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja, 2006., magistarski rad, Fakultet elektrotehnike i računarstva, Zagreb


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

Naslov
Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja
(Parallel algorithms for construction and manipulation of binary decision diagrams)

Autori
Grudenić, Igor

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
26.01

Godina
2006

Stranica
105

Mentor
Bogunović, Nikola

Ključne riječi
binarni dijagrami odlučivanja; paralelni algoritam; simbolička provjera modela; formalna verifikacija
(binary decision diagrams; parallel algorithms; symbolic model checking; formal verification)

Sažetak
Binarni dijagrami odlučivanja (BDD) dijagrami omogućavaju učinkovit prikaz i formalnu verifikaciju digitalnih sustava. Postoje razne heuristike za optimizaciju formalne verifikacije BDD dijagramima. Jedan od načina za poboljšanje efikasnosti formalne verifikacije temeljene na BDD dijagramima je raspodijeljena izgradnja i manipulacija BDD dijagramima. Prednost raspodijeljene izgradnje BDD dijagrama leži u većoj procesorskoj snazi i većoj količini raspoloživog memorijskog prostora. Magistarski rad opisuje raspodijeljeni algoritam izgradnje i manipulacije BDD dijagramima namijenjen sustavu umreženih računala zasnovan na kombiniranom pristupu izgradnje BDD dijagrama. U radu je prikazana arhitektura i neki od detalja implementacije programskog ostvarenja tog algoritma. Mjerenja učinkovitosti algoritma provedena su izgradnjom BDD prikaza digitalnog množila i zbrajala zbog njihovog karakterističnog BDD prikaza. Mjerenja su izvedena na grozdu računala i dvoprocesorskom sustavu. U radu je dodatno analiziran utjecaj ostvarene priručne memorije na učinkovitost raspodijeljene izgradnje BDD dijagrama.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo



POVEZANOST RADA


Projekti:
0036051

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Igor Grudenić (autor)

Avatar Url Nikola Bogunović (mentor)


Citiraj ovu publikaciju

Grudenić, Igor
Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja, 2006., magistarski rad, Fakultet elektrotehnike i računarstva, Zagreb
Grudenić, I. (2006) 'Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja', magistarski rad, Fakultet elektrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Grudeni\'{c}, I.}, year = {2006}, pages = {105}, keywords = {binarni dijagrami odlu\v{c}ivanja, paralelni algoritam, simboli\v{c}ka provjera modela, formalna verifikacija}, title = {Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlu\v{c}ivanja}, keyword = {binarni dijagrami odlu\v{c}ivanja, paralelni algoritam, simboli\v{c}ka provjera modela, formalna verifikacija}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Grudeni\'{c}, I.}, year = {2006}, pages = {105}, keywords = {binary decision diagrams, parallel algorithms, symbolic model checking, formal verification}, title = {Parallel algorithms for construction and manipulation of binary decision diagrams}, keyword = {binary decision diagrams, parallel algorithms, symbolic model checking, formal verification}, publisherplace = {Zagreb} }




Contrast
Increase Font
Decrease Font
Dyslexic Font