Ústav počítačových systémů
Články na konferencích
| Dvořák Václav: Multi-Terminal BDDs in Microprocessor-Based Control, In: Proceedings ICINCO 2010, Funchal, Madeira, PT, INSTICC, 2010, s. 140-145, ISBN 978-989-8425-02-7 | | Jazyk publikace: | angličtina |
|---|
| Název publikace: | Multi-Terminal BDDs in Microprocessor-Based Control |
|---|
| Název (cs): | Multi-terminální rozhodovací diagramy v mikroprocesorovém řízení |
|---|
| Strany: | 140-145 |
|---|
| Sborník: | Proceedings ICINCO 2010 |
|---|
| Konference: | 7th International Conference on Informatics in Control, Automation and Robotics |
|---|
| Místo vydání: | Funchal, Madeira, PT |
|---|
| Rok: | 2010 |
|---|
| ISBN: | 978-989-8425-02-7 |
|---|
| Vydavatel: | Institute for Systems and Technologies of Information, Control and Communication |
|---|
| Soubory: | |
|---|
|
| | Klíčová slova |
|---|
| Microprocessor-based control, Multi-Terminal Binary Decision Diagrams, MTBDD, optimal variable ordering, arbiters |
| Anotace |
|---|
| Článek se zabývá softwarovou implementací algoritmů intenzivně využívajících logické funkce, když je např. u vestavěných systémů vyžadována minimální paměťová stopa. Předložená heuristická metoda syntézy Multi-Terminálních Binárních Rozhodovacích Diagramů (MTBDD) má za cíl minimalizovat cenu výsledného diagramu a tím i velikost paměti pro jeho uložení. Vyhodnocení Booleovských funkcí se pak redukuje na průchod MTBDD, po jedné nebo více proměnných v jednom kroku, podle požadované rychlosti. Programově jde o sekvenci nepřímých přístupů do paměti rozhodovacích tabulek. Předložená metoda je flexibilní při tvorbě kompromisů mezi výkonností a paměťovou náročností a může tak být užitečná pro software vestavěných mikroprocesorů nebo mikrokontrolérů. |
| BibTeX: |
|---|
@INPROCEEDINGS{
author = {Václav Dvořák},
title = {Multi-Terminal BDDs in Microprocessor-Based Control},
pages = {140--145},
booktitle = {Proceedings ICINCO 2010},
year = {2010},
location = {Funchal, Madeira, PT},
publisher = {Institute for Systems and Technologies of Information,
Control and Communication},
ISBN = {978-989-8425-02-7},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9240}
} |
|