Detail výsledku

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

DVOŘÁK, V. On the Complexity and Optimization of Branching Programs for Decision Diagram Machines. Programmable Devices and Embedded Systems PDeS 2012. Programmable devices and systems. Brno: Faculty of Electrical Engineering and Communication BUT, 2012. no. 11, p. 84-89. ISBN: 978-3-902823-21-2. ISSN: 1474-6670.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc., UPSY (FIT)
Abstrakt

Decision Diagram Machines (DDMs) are special purpose processors that evaluate decision diagrams. First, this paper derives upper bounds on the cost of multi-terminal binary decision diagrams (MTBDDs) for sparse multiple-output logic functions. From these bounds we can estimate the size of branching programs running on various DDMs. Second, optimization of heterogeneous branching programs is undertaken that makes a space-time trade-off between the amount of memory required for a branching program and its execution time. As a case study, optimal architectures of branching programs are found for a set of benchmark tasks. Beside DDMs, the technique can also be used for micro-controllers with a   support for multi-way branching running logic-intensive embedded firmware. 

Klíčová slova

Boolean functions, Multi-Terminal Binary Decision Diagrams (MTBDDs), branching programs, MTBDD complexity, Decision Diagram Machines (DDMs)

Rok
2012
Strany
84–89
Časopis
Programmable devices and systems, 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
ISBN
978-3-902823-21-2
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT91454,
  author="Václav {Dvořák}",
  title="On the Complexity and Optimization of Branching Programs for Decision Diagram Machines",
  booktitle="Programmable Devices and Embedded Systems  PDeS 2012",
  year="2012",
  journal="Programmable devices and systems",
  volume="2012",
  number="11",
  pages="84--89",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="978-3-902823-21-2",
  issn="1474-6670"
}
Projekty
Natural computing na nekonvenčních platformách, GAČR, Standardní projekty, GAP103/10/1517, zahájení: 2010-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru