Sayandeep Mitra, Moumita Das, Ansuman Banerjee, Kausik Datta, Tsung-Yi Ho. A Verification Guided Approach for Selective Program Transformations for Approximate Computing. In 25th IEEE Asian Test Symposium, ATS 2016, Hiroshima, Japan, November 21-24, 2016. pages 37-42, IEEE Computer Society, 2016. [doi]
Abstract is missing.