David Boland, George A. Constantinides. A scalable approach for automated precision analysis. In Katherine Compton, Brad L. Hutchings, editors, Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012. pages 185-194, ACM, 2012. [doi]
@inproceedings{BolandC12,
title = {A scalable approach for automated precision analysis},
author = {David Boland and George A. Constantinides},
year = {2012},
doi = {10.1145/2145694.2145726},
url = {http://doi.acm.org/10.1145/2145694.2145726},
researchr = {https://researchr.org/publication/BolandC12},
cites = {0},
citedby = {0},
pages = {185-194},
booktitle = {Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012},
editor = {Katherine Compton and Brad L. Hutchings},
publisher = {ACM},
isbn = {978-1-4503-1155-7},
}