%0 Conference Paper %1 conf/ats/MitraDBDH16 %A Mitra, Sayandeep %A Das, Moumita %A Banerjee, Ansuman %A Datta, Kausik %A Ho, Tsung-Yi %B ATS %D 2016 %I IEEE Computer Society %K dblp %P 37-42 %T A Verification Guided Approach for Selective Program Transformations for Approximate Computing. %U http://dblp.uni-trier.de/db/conf/ats/ats2016.html#MitraDBDH16 %@ 978-1-5090-3809-1

@inproceedings{conf/ats/MitraDBDH16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Mitra, Sayandeep and Das, Moumita and Banerjee, Ansuman and Datta, Kausik and Ho, Tsung-Yi}, biburl = {https://www.bibsonomy.org/bibtex/2bad90c4ebd76e4f6e1bbad201147d6c8/dblp}, booktitle = {ATS}, crossref = {conf/ats/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/ATS.2016.28}, interhash = {0d980ef298422d69db5620e59e2fcccf}, intrahash = {bad90c4ebd76e4f6e1bbad201147d6c8}, isbn = {978-1-5090-3809-1}, keywords = {dblp}, pages = {37-42}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:36:46.000+0200}, title = {A Verification Guided Approach for Selective Program Transformations for Approximate Computing.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2016.html#MitraDBDH16}, year = 2016 }