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/Similar |
|---|---|
| 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.
|
APA stil citiranja
Grudenić, I., & Bogunović, N. (2006). Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja: Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja : magistarski rad. Zagreb: I. Grudenić ; Fakultet elektrotehnike i računarstva.
Chicago stil citiranjaGrudenić, Igor, and Nikola Bogunović. Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja: Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja : magistarski rad. Zagreb: I. Grudenić ; Fakultet elektrotehnike i računarstva, 2006.
MLA stil citiranjaGrudenić, Igor, and Nikola Bogunović. Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja: Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja : magistarski rad. Zagreb: I. Grudenić ; Fakultet elektrotehnike i računarstva, 2006.