Detail publikace
On the Complexity and Optimization of Branching Programs for Decision Diagram Machines
Decision Diagram Machines (DDMs) jsou speciální procesory, které vyhodnocují rozhodovací diagramy. V článku jsou zaprvé odvozeny horní meze ceny multi-terminálových binárních rozhodovacích diagramů (MTBDDs) pro řídké logické funkce s více výstupy. Na základě těchto mezí můžeme odhadnout velikost programů s větvením běžících na různých DDMs. Zadruhé je provedena optimalizace heterogenních programů s větvením, ve které se hledá časo-orostorový kompromis mezi velikostí paměti potřebné pro program s větvením a dobou jeho zpracování. Jako případová studie jsou nalezeny optimální architektury programů s větvením pro množinu testovacích úloh. Kromě DDMs múže být stejná technika použita také pro mikrokontroléry s podporou více-místného větvení, na nichž běží vestavěné firmware s častými logickými výpočty.
@INPROCEEDINGS{FITPUB9828, author = "V\'{a}clav Dvo\v{r}\'{a}k", title = "On the Complexity and Optimization of Branching Programs for Decision Diagram Machines", pages = "84--89", booktitle = " Programmable Devices and Embedded Systems PDeS 2012", journal = "IFAC-PapersOnLine", volume = 2012, number = 11, year = 2012, location = "Brno, CZ", publisher = "Faculty of Electrical Engineering and Communication BUT", ISBN = "978-3-902823-21-2", ISSN = "1474-6670", language = "english", url = "https://www.fit.vut.cz/research/publication/9828" }