Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja
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 rasp...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:29783 |
|---|---|
| Glavni autor: | Grudenić, Igor (-) |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb :
I. Grudenić ; Fakultet elektrotehnike i računarstva,
2006.
|
Središnja knjižnica - KF
| Signatura: |
KF-3975 |
|---|---|
| Primjerak 24295 |
Dostupno |