Conference paper

DVOŘÁK Václav. Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software. In: Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2007, pp. 178-185. ISBN 0-7695-2772-8.
Publication language:english
Original title:Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
Title (cs):Časově a prostorově účinné vyhodnocování řídkých boolovských funkcí vestavěným software
Pages:178-185
Proceedings:Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Conference:14th IEEE Conference and Workshop on Engineering of Computer Based Systems
Place:Los Alamitos, US
Year:2007
ISBN:0-7695-2772-8
Publisher:IEEE Computer Society
Files: 
+Type Name Title Size Last modified
iconDvorak-TSEevaluation.pdf305 KB2008-03-07 12:46:35
^ Select all
With selected:
Keywords
Multiple-output Boolean functions, software implementation, linked tables, LUT cascades,  heuristic BDD minimization
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {V{\'{a}}clav Dvo{\v{r}}{\'{a}}k},
   title = {Time- and Space-Efficient Evaluation of Sparse Boolean
	Functions in Embedded Software},
   pages = {178--185},
   booktitle = {Proceedings of 14th Annual IEEE International Conference and
	Workshops on the Engineering of Computer-Based Systems},
   year = {2007},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-2772-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8324}
}

Your IPv4 address: 54.145.183.43
Switch to IPv6 connection

DNSSEC [dnssec]