Časově a prostorově účinné vyhodnocování řídkých boolovských funkcí vestavěným software

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70793" target="_blank" >RIV/00216305:26230/07:PU70793 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software

Popis výsledku v původním jazyce

The paper addresses software implementation of large sparse systems of Boolean functions. Fast evaluation of such functions with the smallest memory consumption is often required in embedded systems. A new heuristic method of obtaining compact representation of sparse Boolean functions in a form of linked tables is described that can be used for BDD minimization as well. Evaluation of Boolean functions reduces to multiple indirect memory accesses. The method is compared to other techniques like a walk through a BDD or a list search and is illustrated on examples. The presented method is flexible in making trade-offs between performance and memory consumption and may be thus useful for embedded microprocessor or microcontroller software.

Název v anglickém jazyce

Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software

Popis výsledku anglicky

The paper addresses software implementation of large sparse systems of Boolean functions. Fast evaluation of such functions with the smallest memory consumption is often required in embedded systems. A new heuristic method of obtaining compact representation of sparse Boolean functions in a form of linked tables is described that can be used for BDD minimization as well. Evaluation of Boolean functions reduces to multiple indirect memory accesses. The method is compared to other techniques like a walk through a BDD or a list search and is illustrated on examples. The presented method is flexible in making trade-offs between performance and memory consumption and may be thus useful for embedded microprocessor or microcontroller software.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F07%2F0850" target="_blank" >GA102/07/0850: Návrh a obvodová realizace zařízení pro automatické generování patentovatelných invencí</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems

ISBN

0-7695-2772-8

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

178-185

Název nakladatele

IEEE Computer Society

Místo vydání

Los Alamitos

Místo konání akce

Tuscon, Arizona, USA

Datum konání akce

25. 3. 2007

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—