Detail publikace
Využití a akcelerace evolučních technik pro návrh číslicových obvodů
VAŠÍČEK, Z.
Originální název
Využití a akcelerace evolučních technik pro návrh číslicových obvodů
Český název
Využití a akcelerace evolučních technik pro návrh číslicových obvodů
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
cs
Originální abstrakt
V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační práce, která se zabývá návrhem technik umožňujících redukovat problém škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo spojením evolučních technik s metodami formální verifikace tento problém výrazně redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až stovky vstupů.
Český abstrakt
V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační práce, která se zabývá návrhem technik umožňujících redukovat problém škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo spojením evolučních technik s metodami formální verifikace tento problém výrazně redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až stovky vstupů.
Rok RIV
2010
Vydáno
14.09.2010
Nakladatel
Fakulta informačních technologií VUT v Brně
Místo
Brno
ISBN
978-80-214-4140-8
Kniha
Počítačové architektury a diagnostika 2010
Edice
NEUVEDEN
Číslo edice
NEUVEDEN
Strany od
165
Strany do
170
Strany počet
6
BibTex
@inproceedings{BUT35127,
author="Zdeněk {Vašíček}",
title="Využití a akcelerace evolučních technik pro návrh číslicových obvodů",
annote="V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik
při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní
výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém
škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje
efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti
návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat
s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační
práce, která se zabývá návrhem technik umožňujících redukovat problém
škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo
spojením evolučních technik s metodami formální verifikace tento problém výrazně
redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až
stovky vstupů.",
address="Fakulta informačních technologií VUT v Brně",
booktitle="Počítačové architektury a diagnostika 2010",
chapter="35127",
edition="NEUVEDEN",
howpublished="print",
institution="Fakulta informačních technologií VUT v Brně",
year="2010",
month="september",
pages="165--170",
publisher="Fakulta informačních technologií VUT v Brně",
type="conference paper"
}