Detail publikace

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error

MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan a ČEŠKA Milan. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, roč. 12013. Cham: Springer Verlag, 2020, s. 482-490. ISBN 978-3-030-45092-2.
Název česky
Aproximace složitých aritmetický obvodů s garantovanou nejhorší relativní chybou
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Matyáš Jiří, Ing. (UITS FIT VUT)
Pankuch Adam, Bc. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Klíčová slova

automatizovaný návrh obvodů, aproximované obvody, SAT

Abstrakt

Článek prezentuje novou metodu pro efektivní aproximaci složitých aritmetický obvodů, které garantují nejhorší relativní chybu.

Rok
2020
Strany
482-490
Sborník
International Conference on Computer Aided Systems Theory (EUROCAST'19)
Řada
Lecture Notes in Computer Science
Svazek
12013
Konference
Eurocast 2019 -- 17th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-030-45092-2
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12301,
   author = "Ji\v{r}\'{i} Maty\'{a}\v{s} and Adam Pankuch and Tom\'{a}\v{s} Vojnar and Milan \v{C}e\v{s}ka and Milan \v{C}e\v{s}ka",
   title = "Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error",
   pages = "482--490",
   booktitle = "International Conference on Computer Aided Systems Theory (EUROCAST'19)",
   series = "Lecture Notes in Computer Science",
   volume = 12013,
   year = 2020,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-030-45092-2",
   doi = "10.1007/978-3-030-45093-9\_58",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12301"
}
Nahoru