Ourania Spantidi, Georgios Zervakis 0001, Iraklis Anagnostopoulos, Jörg Henkel. Energy-Efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):3838-3849, 2022. [doi]
@article{SpantidiZAH22,
title = {Energy-Efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration},
author = {Ourania Spantidi and Georgios Zervakis 0001 and Iraklis Anagnostopoulos and Jörg Henkel},
year = {2022},
doi = {10.1109/TCAD.2022.3197522},
url = {https://doi.org/10.1109/TCAD.2022.3197522},
researchr = {https://researchr.org/publication/SpantidiZAH22},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {41},
number = {11},
pages = {3838-3849},
}