About: A Difficult Example Or a Badly Represented One?

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A Difficult Example Or a Badly Represented One? 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)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	The causal connection between input circuit representation and the quality of the syn- thesis result is investigated, with special attention to the LEKU examples of Cong and Minkovich. It is shown that transformations totally obscuring the original circuit structure can enlarge the input to a great degree, that the LEKU circuits are nothing special in this respect, and that contemporary tools invariably produce poor results. On the other hand, such descriptions do not occur in practice. The causal connection between input circuit representation and the quality of the syn- thesis result is investigated, with special attention to the LEKU examples of Cong and Minkovich. It is shown that transformations totally obscuring the original circuit structure can enlarge the input to a great degree, that the LEKU circuits are nothing special in this respect, and that contemporary tools invariably produce poor results. On the other hand, such descriptions do not occur in practice. (en)
Title	A Difficult Example Or a Badly Represented One? A Difficult Example Or a Badly Represented One? (en)
skos:prefLabel	A Difficult Example Or a Badly Represented One? A Difficult Example Or a Badly Represented One? (en)
skos:notation	RIV/68407700:21240/12:00195076!RIV13-MSM-21240___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	I
http://linked.open...avai/riv/aktivity	I
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Fišer, Petr Schmidt, Jan
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	120167
http://linked.open...ai/riv/idVysledku	RIV/68407700:21240/12:00195076
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	benchmark; logic synthesis; circuit representation (en)
http://linked.open.../riv/klicoveSlovo	circuit representation benchmark logic synthesis
http://linked.open...ontrolniKodProRIV	[59300E2F4385]
http://linked.open...v/mistoKonaniAkce	Freiberg
http://linked.open...i/riv/mistoVydani	Freiberg
http://linked.open...i/riv/nazevZdroje	Proc. of 10th International Workshop on Boolean Problems
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Fišer, Petr Schmidt, Jan
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-09-19 (xsd:date)
number of pages	8 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Technische Universität Bergakademie
https://schema.org/isbn	978-3-86012-438-3
http://localhost/t...ganizacniJednotka	21240
is http://linked.open...avai/riv/vysledek of	A Difficult Example Or a Badly Represented One?

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software