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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F06%3A03121038%21RIV07-GA0-21230___
rdf:type
skos:Concept n16:Vysledek
dcterms:description
Elánek popisuje a vyhodnocuje poístup k urychlení algoritmu pro zpitné odvozování vstupních vektoru s pou3itím ueení zalo3eného na eítání konfliktu a rekonfigurací oízení výpoetu. Je zde uvedena architektura zpitni-odvozujících obvodu. Výsledky jsou porovnány s HW implementací základního algoritmu pro zpitni odvozování vektoru. Jako zku1ební úlohy byly pou3ity obvody ISCAS'85. The paper describes and evaluates an approach for accelerating the backtrace algorithm using conflict-based on-line learning and reconfiguration of computation controlling. Architecture of circuits performing backward determination of all input vectors to a given output one is presented. Results are compared with HW implementation of the basic backtrace algorithm proposed recently. The experimental results were obtained for the ISCAS’85 benchmarks. The paper describes and evaluates an approach for accelerating the backtrace algorithm using conflict-based on-line learning and reconfiguration of computation controlling. Architecture of circuits performing backward determination of all input vectors to a given output one is presented. Results are compared with HW implementation of the basic backtrace algorithm proposed recently. The experimental results were obtained for the ISCAS’85 benchmarks.
dcterms:title
Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW U3ití ueení zalo3eného na konfliktech k urychlení algoritmu Backtrace implementovaného v hardware Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW
skos:prefLabel
U3ití ueení zalo3eného na konfliktech k urychlení algoritmu Backtrace implementovaného v hardware Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW
skos:notation
RIV/68407700:21230/06:03121038!RIV07-GA0-21230___
n5:strany
251 ; 256
n5:aktivita
n13:Z n13:P
n5:aktivity
P(1QS108040510), P(GA102/04/2137), Z(MSM6840770014)
n5:dodaniDat
n8:2007
n5:domaciTvurceVysledku
n7:9570748 n7:9192832
n5:druhVysledku
n19:D
n5:duvernostUdaju
n11:S
n5:entitaPredkladatele
n21:predkladatel
n5:idSjednocenehoVysledku
505357
n5:idVysledku
RIV/68407700:21230/06:03121038
n5:jazykVysledku
n18:eng
n5:klicovaSlova
VLSI; backtrace; hardware; on-line learning
n5:klicoveSlovo
n10:on-line%20learning n10:backtrace n10:hardware n10:VLSI
n5:kontrolniKodProRIV
[E759EA44B422]
n5:mistoKonaniAkce
Cavtat
n5:mistoVydani
Los Alamitos
n5:nazevZdroje
Proceedings of 9th Euromicro Conference on Digital System Design
n5:obor
n14:JC
n5:pocetDomacichTvurcuVysledku
2
n5:pocetTvurcuVysledku
2
n5:projekt
n12:1QS108040510 n12:GA102%2F04%2F2137
n5:rokUplatneniVysledku
n8:2006
n5:tvurceVysledku
Šťáva, Martin Novák, Ondřej
n5:typAkce
n22:WRD
n5:zahajeniAkce
2006-08-30+02:00
n5:zamer
n15:MSM6840770014
s:numberOfPages
6
n20:hasPublisher
IEEE Computer Society
n4:isbn
0-7695-2609-8
n17:organizacniJednotka
21230