prikaz prve stranice dokumenta Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja
Rad nije dostupan
magistarski rad
Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2006. urn:nbn:hr:168:881136
Grudenić, Igor
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Grudenić, I. (2006). Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja (Magistarski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:881136

Grudenić, Igor. "Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2006. https://urn.nsk.hr/urn:nbn:hr:168:881136

Grudenić, Igor. "Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2006. https://urn.nsk.hr/urn:nbn:hr:168:881136

Grudenić, I. (2006). 'Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja', Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 22.11.2024., https://urn.nsk.hr/urn:nbn:hr:168:881136

Grudenić I. Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja [Magistarski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2006 [pristupljeno 22.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:881136

I. Grudenić, "Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja", Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2006. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:881136

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:881136
Podaci o radu
NaslovParalelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja
Naslov (engleski)Parallel Algorithms for Construction and Manipulation of Binary Decision Diagrams
AutorIgor Grudenić
MentorNikola Bogunović (mentor)
Član povjerenstvaLeo Budin (član povjerenstva)
Član povjerenstvaNikola Bogunović (član povjerenstva)
Član povjerenstvaDragan Gamberger (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
(Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave)
Zagreb
Datum i država obrane2006-01-26, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Univerzalna decimalna klasifikacija
(UDC)		004 - Računalna znanost i tehnologija. Računalstvo. Obrada podataka
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.
Sažetak (engleski)
Binary decision diagrams (BDDs) are data structures that enable efficient representation and formal verification of digital systems. There are different heuristics that can be employed in order to optimize BDD based formal verification process. In particular, distributed BDD construction and manipulation can be used to make formal verification of digital systems more efficient. The distribution benefits from additional CPU power and larger memory address space. The thesis describes distributed algorithm for BDD manipulation based on combined breadth-first and depth-first BDD construction techniques. The algorithm is targeted for execution on network of workstations. The implementation of algorithm is also given paying great attention to details. The measurement of the distributed BDD creation performance is accomplished by building BDD representation of digital adder and digital multiplier. These circuits are used because of the specific characteristics of their BDD representations. Performance of distributed algorithm is measured using two processor system and a computer cluster. Special analysis on performance impact of distributed computed cache is also given.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:881136
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: poslijediplomski znanstveni (magistarski)
Akademski / stručni naziv: magistar inženjer računarstva (mag. ing. comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2019-07-16 11:08:37