Uploads
Contact
/
Login
Upload
Search Results for 'Misailovic Rinard'
Accuracy-Aware Program Transformations
sherrill-nordquist
Programming Abstractions for Approximate Computing
alexa-scheidler
AcceptabilityOriented Computing Martin Rinard MIT Laboratory for Computer Science Cambridge
sherrill-nordquist
Proving Acceptability Properties of Relaxed Nondeterministi
mitsue-stanley