Pregled bibliografske jedinice broj: 199280
Caching in Parallel BDD Package
Caching in Parallel BDD Package // Proceedings of the 27th International Conference on Information Techology Interfaces / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005. str. 631-635 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 199280 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Caching in Parallel BDD Package
Autori
Grudenić, Igor ; Bogunović, Nikola
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 27th International Conference on Information Techology Interfaces
/ Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna - Zagreb : Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2005, 631-635
Skup
International Conference on Information Techology Interfaces
Mjesto i datum
Cavtat, Hrvatska, 20.06.2005. - 23.06.2005
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Distributed BDD computation; cache management; formal methods
Sažetak
Fast computation of Binary Decision Diagram (BDD) operations is essential for efficient symbolic model checking. In order to improve symbolic model checking we parallelized BDD operations on network of workstations (NOW). Sequential BDD packages have always been sensitive to cache design, which is even more true in the parallel environment. Distribution of cache to the NOW made larger cache possible, but it implicated problems with references in distributed environment and posed limitations on ordering of computation. In this paper we address these issues with our distributed cache architecture.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
