host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
> Výsledky hledání: keywords:"relaxed equivalence."
Hledej:
Všechna tato slova:
Jedno ze slov:
Přesná fráze:
Část výrazu:
Regulární výraz:
všechna pole
název
autoři
klíčová slova
datum zveřejnění
instituce
typ dokumentu
název konference
ISBN/ISSN
číslo projektu
plný text
číslo záznamu
A
NEBO
A NE
Všechna tato slova:
Jedno ze slov:
Přesná fráze:
Část výrazu:
Regulární výraz:
všechna pole
název
autoři
klíčová slova
datum zveřejnění
instituce
typ dokumentu
název konference
ISBN/ISSN
číslo projektu
plný text
číslo záznamu
A
NEBO
A NE
Všechna tato slova:
Jedno ze slov:
Přesná fráze:
Část výrazu:
Regulární výraz:
všechna pole
název
autoři
klíčová slova
datum zveřejnění
instituce
typ dokumentu
název konference
ISBN/ISSN
číslo projektu
plný text
číslo záznamu
Tipy pro vyhledávaní
::
Jednoduché hledání
Hledej ve sbírkách:
*** jakákoli veřejná sbírka ***
Agritec
Agrotest fyto, s.r.o.
Agrovýzkum Rapotín s.r.o.
Akademie múzických umění v Pra...
Akademie výtvarných umění
Analytické a metodické materiá...
Analýzy
Archeologický ústav, Brno
Archeologický ústav, Praha
Architectural Institute in Pra...
Ing. arch. Jan Moučka
Arnika
Asociace pro vodu ČR
Astronomický ústav
Autorské práce
Bakalářské práce
Banky
Bibliografie
Biofyzikální ústav
Biologické centrum
Biotechnologický ústav
Botanický ústav
Brožury
Bulletiny
CENIA
Centrum dopravního výzkumu, v....
Centrum pro dopravu a energeti...
Centrum pro regionální rozvoj ...
Centrum pro studium vysokého š...
Ústav výzkumu globální změny
Česká asociace ergoterapeutů
Česká asociace paraplegiků
Česká národní banka
Česká rada dětí a mládeže
Česká společnost ornitologická
Česká zemědělská univerzita
České vysoké učení technické v...
Český statistický úřad
CESNET
Cestovní zprávy
Chmelařský institut
Člověk v tísni, o.p.s
data
Národní úložiště šedé literatu...
Diplomové práce
Disertační práce
doc. RNDr. Jiří Souček, DrSc.
Ekodomov
Entomologický ústav
Etnologický ústav
Evropské hodnoty o.s.
Fairtrade Česko a Slovensko
Fakulty UK (VŠKP)
Farmakologický ústav
Filosofický ústav
Firemní literatura
Firemní tisk
Fyzikální ústav
Fyziologický ústav
Galerie
Galerie výtvarného umění v Ost...
Gender Studies, o.p.s.
Geofyzikální ústav
Geografický ústav MU
Geologický ústav
GLE o.p.s.
Grantové zprávy
Habilitační práce
HESTIA
Historický ústav
Hydrobiologický ústav
Institut umění - Divadelní úst...
Iuridicum Remedium, o.s.
Jihočeská univerzita v Českých...
Jihomoravské muzeum ve Znojmě
Katalogy výrobků
Katalogy výstav
Katedra sociální geografie a r...
Knihovna AV ČR
Knihovny
Konferenční materiály
Kultura
Letáky
Literární akademie (Internatio...
Mapová sbírka PřF UK
Masarykova univerzita
Masarykův ústav a Archiv
Matematický ústav
Mendelova univerzita v Brně
Metodiky
Mikrobiologický ústav
Ministerstva
Ministerstvo obrany
Ministerstvo spravedlnosti
Ministerstvo životního prostře...
Monografie
Moravská galerie v Brně
Moravská zemská knihovna
Muzea
Muzeum Brněnska
Muzeum skla a bižuterie v Jabl...
Muzeum východních Čech v Hradc...
Nadace Karel Komárek Family Fo...
Národní archiv
Národní filmový archiv
Národní hřebčín Kladruby nad L...
Národní informační a poradensk...
Národní knihovna ČR
Národní lékařská knihovna
Národní muzeum
Národní památkový ústav
Národní technická knihovna
Národní technické muzeum
Národní ústav lidové kultury
Národní ústav pro vzdělávání
Národní zemědělské muzeum
Národní muzeum v přírodě
Národohospodářský ústav
Neziskové organizace
Orientální ústav
OSEVA vývoj a výzkum s.r.o.
Osobní archivy
Ostatní
Ostravská univerzita
Památník národního písemnictví
Parazitologický ústav
Parlamentní institut
Personália
Portfólia
Postery
Postprinty
Prague College
Preprinty
Příspěvky z konference
Programy
Propagační a vzdělávací materi...
Průběžné zprávy z projektu
Průvodce expozicí
Psychologický ústav
Referáty
Rigorózní práce
Sborníky
Sdružení pro integraci a migra...
Severočeské muzeum v Liberci
SIRIRI
Školství
Slezská univerzita v Opavě
Slezské zemské muzeum
Slovanský ústav
Sociologický ústav
Sociologický ústav (CVVM)
Soukromé vysoké školy
Specializovaná pracoviště UK
Správa úložišť radioaktivních ...
Statistické zprávy
Státní správa
Státní úřad pro jadernou bezpe...
Státní zemědělská a potravinář...
Studie
Technické muzeum v Brně
Technické zprávy
Technologické centrum
Tematické sborníky
Tiskové zprávy
Uměleckoprůmyslové museum v Pr...
Univerzita Hradec Králové
Univerzita Jana Evangelisty Pu...
Univerzita Karlova
Univerzita Palackého v Olomouc...
Univerzita Pardubice
Úřad průmyslového vlastnictví
Ústav analytické chemie
Ústav anorganické chemie
Ústav archeologické památkové ...
Ústav biologie obratlovců
Ústav chemických procesů
Ústav dějin umění
Ústav experimentální botaniky
Ústav experimentální medicíny
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. Heyr...
Ústav fyzikálního inženýrství
Ústav fyziky atmosféry
Ústav fyziky materiálů
Ústav fyziky plazmatu
Ústav geoniky
Ústav informatiky
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav molekulární biologie ros...
Ústav molekulární genetiky
Ústav organické chemie a bioch...
Ústav přístrojové techniky
Ústav pro českou literaturu
Ústav pro dějiny umění FF UK
Ústav pro elektrotechniku
Ústav pro hydrodynamiku
Ústav pro jazyk český
Ústav pro klasická studia
Ústav pro soudobé dějiny
Ústav pro studium totalitních ...
Ústav půdní biologie
Ústav slovansko-germánských st...
Ústav státu a práva
Ústav struktury a mechaniky ho...
Ústav teoretické a aplikované ...
Ústav teorie informace a autom...
Ústav termomechaniky
Ústav živočišné fyziologie a g...
AV ČR
Věda a výzkum
Veřejné vysoké školy
Věstníky
Výzkumný ústav geodetický, top...
Veřejné výzkumné instituce
Výroční zprávy
Vysoká škola chemicko-technolo...
Vysoká škola ekonomická v Praz...
Vysoká škola evropských a regi...
Vysoká škola finanční a správn...
Vysoká škola manažerské inform...
Vysoké školy
Vysoké učení technické v Brně
Vysokoškolské kvalifikační prá...
Výzkumné ústavy
Výzkumné zprávy
Výzkumný a vývojový ústav dřev...
Výzkumný ústav bezpečnosti prá...
Výzkumný ústav lesního hospodá...
Výzkumný ústav potravinářský P...
Výzkumný ústav práce a sociáln...
Výzkumný ústav rostlinné výrob...
Výzkumný ústav Silva Taroucy p...
Výzkumný ústav vodohospodářský...
Woodexpert
Západočeská univerzita v Plzni
Západočeské muzeum v Plzni
Závěrečné zprávy z projektu
Životopisy
Zprávy
Zprávy o stavu
Zprávy z průzkumu
Seřadit podle:
Zobrazit výsledky:
Výstupní formát:
poslední záznam nejdříve
datum zveřejnění
autor
číslo záznamu
vzest.
sest.
- nebo seřadit podle -
podobnost slov
10 výsledků
25 výsledků
50 výsledků
100 výsledků
vše v jednom seznamu
rozdělené podle sbírek
citace
HTML brief
HTML brief + PSH
HTML citesummary
MARC
Refman RIS
Národní úložiště šedé literatury
Nalezeno
2
záznamů.
Hledání trvalo 0.00 vteřin.
Automated Design Methodology for Approximate Low Power Circuits
Mrázek, Vojtěch
;
Bosio, Alberto
(oponent) ;
Fišer, Petr
(oponent) ;
Sekanina, Lukáš
(vedoucí práce)
The rapid expansion of modern embedded and battery-powered systems has brought new challenges for design methods oriented to low power circuits and systems. Although these methods systematically apply various power optimization techniques, the overall power requirements are still growing because of the increased complexity of integrated circuits. It has been shown that many applications are inherently error resilient and this property can be exploited for further power consumption reduction. This principle is systematically investigated in the nascent field of approximate computing. This thesis deals with efficient design methods for approximate circuits. The proposed methods are based on evolutionary algorithms (EAs). Although EAs have been applied in logic synthesis and optimization of common as well as approximate circuits, their scalability is limited in these areas. The goal of this dissertation is to show that approximate logic synthesis based on evolutionary algorithms (particularly on genetic programming) can provide excellent tradeoffs between the error and power consumption of complex digital circuits. We analyzed four different applications that use digital circuits described at three different levels of abstraction. By means of Cartesian genetic programming we reduced power consumption of small transistor-level circuits that are typically used in a technology library. We combined evolutionary approximation with formal verification techniques in order to evolve high quality gate-level approximate circuits such as adders and multipliers and provide formal guarantees on the approximation error. These circuits were employed to reduce power consumption in neural image classifiers and discrete cosine transform blocks of the HEVC encoder. We proposed a new data-independent error metric - the distance error - and used it in the evolutionary approximation of complex median circuits that are suitable for low power signal processing. This doctoral thesis presents a coherent methodology for the design of approximate circuits at different levels of description which is also capable of providing formal guarantees on the approximation error.
Úplný záznam
Automated Design Methodology for Approximate Low Power Circuits
Mrázek, Vojtěch
;
Bosio, Alberto
(oponent) ;
Fišer, Petr
(oponent) ;
Sekanina, Lukáš
(vedoucí práce)
The rapid expansion of modern embedded and battery-powered systems has brought new challenges for design methods oriented to low power circuits and systems. Although these methods systematically apply various power optimization techniques, the overall power requirements are still growing because of the increased complexity of integrated circuits. It has been shown that many applications are inherently error resilient and this property can be exploited for further power consumption reduction. This principle is systematically investigated in the nascent field of approximate computing. This thesis deals with efficient design methods for approximate circuits. The proposed methods are based on evolutionary algorithms (EAs). Although EAs have been applied in logic synthesis and optimization of common as well as approximate circuits, their scalability is limited in these areas. The goal of this dissertation is to show that approximate logic synthesis based on evolutionary algorithms (particularly on genetic programming) can provide excellent tradeoffs between the error and power consumption of complex digital circuits. We analyzed four different applications that use digital circuits described at three different levels of abstraction. By means of Cartesian genetic programming we reduced power consumption of small transistor-level circuits that are typically used in a technology library. We combined evolutionary approximation with formal verification techniques in order to evolve high quality gate-level approximate circuits such as adders and multipliers and provide formal guarantees on the approximation error. These circuits were employed to reduce power consumption in neural image classifiers and discrete cosine transform blocks of the HEVC encoder. We proposed a new data-independent error metric - the distance error - and used it in the evolutionary approximation of complex median circuits that are suitable for low power signal processing. This doctoral thesis presents a coherent methodology for the design of approximate circuits at different levels of description which is also capable of providing formal guarantees on the approximation error.
Úplný záznam
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru
RSS
.