Pregled bibliografske jedinice broj: 43753
Reordering build phase in ROBDD construction to reduce memory requirements
Reordering build phase in ROBDD construction to reduce memory requirements // Proceedings of the Second International Conference on Mathematical Methods in Reliablity (Vol. 1)
Bordeaux, Francuska, 2000. str. 163-166 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 43753 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Reordering build phase in ROBDD construction to reduce memory requirements
Autori
Banov, Reni ; Šimić, Zdenko ; Mikuličić, Vladimir
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the Second International Conference on Mathematical Methods in Reliablity (Vol. 1)
/ - , 2000, 163-166
Skup
MMR's 2000 - Second International Conference on Mathematical Methods in Reliablity
Mjesto i datum
Bordeaux, Francuska, 04.07.2000. - 07.07.2000
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
fault tree; ROBDD
Sažetak
It is well known that the size of the final ROBDD representing some fault tree depends on the chosen variable order. But the total memory required to build this ROBDD can be even larger than the size of the final ROBDD, because in the build process many intermediate generated nodes need to be stored in memory. We will show that it is possible to reduce memory requirements significantly simply by reordering the calculations in the build phase. By using this technique with appropriate variable order we were able to reduce memory overhead and even speeds up the build phase. This approach can be applied to the ROBDD construction in the Fault tree analysis as well as in other fields where the ROBDD approach is applicable.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
