Fakulta informačních technologií VUT v Brně

Detail publikace

On the Complexity and Optimization of Branching Programs for Decision Diagram Machines

DVOŘÁK Václav. On the Complexity and Optimization of Branching Programs for Decision Diagram Machines. In: Programmable Devices and Embedded Systems PDeS 2012. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2012, s. 84-89. ISBN 978-3-902823-21-2. ISSN 1474-6670.
Název česky
O složitosti a optimalizaci větvících programů pro stroje DDM
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt
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. 
Rok
2012
Strany
84-89
Časopis
IFAC-PapersOnLine, roč. 2012, č. 11, ISSN 1474-6670
Sborník
Programmable Devices and Embedded Systems PDeS 2012
Konference
11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems, Brno, CZ
ISBN
978-3-902823-21-2
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX
@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"
}
Nahoru