About: Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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.
  • 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. (en)
  • Článek se zabývá softwarovou implementací velkých řídkých systémů boolovských funkcí.&nbsp; Rychlá evaluace takových funkcí s nejmenším objemem paměti je ve vestavěných systémech často vyžadována. Je popsána nová heuristická metoda získání kompaktní reprezentace řídkých boolovských funkcí ve formě vázaných tabulek, která se dá použít i na minimalizaci BDD. Evaluace boolovských funkcí se redukuje na několik nepřímých přístupů do paměti. Metoda je porovnána s dalšími technikami, jako průchodem přes BDD nebo hledáním v seznamu, a je ilustrována na příkladech. Předložená metoda je pružná při hledání kompromisů mezi výkonností a spotřebou paměti a může být užitečná pro vestavěný software mikroprocesorů a mikrořadičů.&nbsp;&nbsp; <br> (cs)
Title
  • Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
  • Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software (en)
  • Časově a prostorově účinné vyhodnocování řídkých boolovských funkcí vestavěným software (cs)
skos:prefLabel
  • Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software
  • Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software (en)
  • Časově a prostorově účinné vyhodnocování řídkých boolovských funkcí vestavěným software (cs)
skos:notation
  • RIV/00216305:26230/07:PU70793!RIV08-MSM-26230___
http://linked.open.../vavai/riv/strany
  • 178-185
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/07/0850), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 455178
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/07:PU70793
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Multiple-output Boolean functions, software implementation, linked tables, LUT cascades,&nbsp, heuristic BDD minimization <br> (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [FCA6BF57C024]
http://linked.open...v/mistoKonaniAkce
  • Tuscon, Arizona, USA
http://linked.open...i/riv/mistoVydani
  • Los Alamitos
http://linked.open...i/riv/nazevZdroje
  • Proceedings of 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Dvořák, Václav
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • IEEE Computer Society
https://schema.org/isbn
  • 0-7695-2772-8
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 85 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software