Login / Signup
A Verification Guided Approach for Selective Program Transformations for Approximate Computing.
Sayandeep Mitra
Moumita Das
Ansuman Banerjee
Kausik Datta
Tsung-Yi Ho
Published in:
ATS (2016)
Keyphrases
</>
hardware designs
efficiently computing
databases
model checking
symbolic execution
website
neural network
efficient computation
computer programs
control program
asynchronous circuits
java programs
formal methods
static analysis
face verification
database
piecewise linear
medical images
social networks
real time