Detail publikace
AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs
MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. In: 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London, 2025, s. 5.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
2025
(v tisku)
Strany
5
Sborník
2025 IEEE International Symposium on Circuits and Systems (ISCAS)
Konference
2025 IEEE International Symposium on Circuits and Systems, London, GB
Místo
London, GB
BibTeX
@INPROCEEDINGS{FITPUB13350, author = "Vojt\v{e}ch Mr\'{a}zek and Zden\v{e}k Va\v{s}\'{i}\v{c}ek", title = "AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs", pages = 5, booktitle = "2025 IEEE International Symposium on Circuits and Systems (ISCAS)", year = 2025, location = "London, GB", language = "english", url = "https://www.fit.vut.cz/research/publication/13350" }