This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://purl.org/net/nknouf/ns/bibtex#
n5http://localhost/temp/predkladatel/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/ontology/domain/vavai/
n16https://schema.org/
n7http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F09%3APU82649%21RIV12-GA0-26230___/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F09%3APU82649%21RIV12-GA0-26230___
rdf:type
n21:Vysledek skos:Concept
dcterms:description
Multi-terminal Binary Decision Diagrams (MTBDDs) are useful representation of multiple output Boolean functions. However, construction of such a diagram is a difficult task, especially when in some sense optimum diagram is sought. The paper presents an improved algorithm of MTBDD synthesis aiming at minimum MTBDD width or cost. The presented algorithm is a core of the upgraded version of a synthesis tool that accepts incompletely specified integer-valued functions of Boolean variables specified by possibly compatible cubes. The suggested technique is suitable for hardware (LUT cascades) or firmware implementation (branching microprograms). Multi-terminal Binary Decision Diagrams (MTBDDs) are useful representation of multiple output Boolean functions. However, construction of such a diagram is a difficult task, especially when in some sense optimum diagram is sought. The paper presents an improved algorithm of MTBDD synthesis aiming at minimum MTBDD width or cost. The presented algorithm is a core of the upgraded version of a synthesis tool that accepts incompletely specified integer-valued functions of Boolean variables specified by possibly compatible cubes. The suggested technique is suitable for hardware (LUT cascades) or firmware implementation (branching microprograms).
dcterms:title
Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization
skos:prefLabel
Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization
skos:notation
RIV/00216305:26230/09:PU82649!RIV12-GA0-26230___
n3:aktivita
n14:P n14:Z
n3:aktivity
P(GA102/07/0850), P(GA102/08/1429), P(GD102/09/H042), Z(MSM0021630528)
n3:dodaniDat
n9:2012
n3:domaciTvurceVysledku
n10:4010604 n10:9380922
n3:druhVysledku
n8:D
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n20:predkladatel
n3:idSjednocenehoVysledku
317059
n3:idVysledku
RIV/00216305:26230/09:PU82649
n3:jazykVysledku
n11:eng
n3:klicovaSlova
incompletely specified functions, multi-terminal BDDs, LUT cascades, iterative disjunctive decomposition, functional decomposition
n3:klicoveSlovo
n12:LUT%20cascades n12:functional%20decomposition n12:incompletely%20specified%20functions n12:iterative%20disjunctive%20decomposition n12:multi-terminal%20BDDs
n3:kontrolniKodProRIV
[444A80BDFC98]
n3:mistoKonaniAkce
Patras
n3:mistoVydani
Patras
n3:nazevZdroje
12th EUROMICRO Conference on Digital System Design DSD 2009
n3:obor
n22:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n13:GA102%2F08%2F1429 n13:GD102%2F09%2FH042 n13:GA102%2F07%2F0850
n3:rokUplatneniVysledku
n9:2009
n3:tvurceVysledku
Mikušek, Petr Dvořák, Václav
n3:typAkce
n19:WRD
n3:zahajeniAkce
2009-08-27+02:00
n3:zamer
n7:MSM0021630528
s:numberOfPages
4
n17:hasPublisher
IEEE Computer Society
n16:isbn
978-0-7695-3782-5
n5:organizacniJednotka
26230