EnerJ
From MaRDI portal
Software:34682
No author found.
Related Items (2)
Verifying relative safety, accuracy, and termination for program approximations ⋮ A Framework for Error-Bounded Approximate Computing, with an Application to Dot Products
This page was built for software: EnerJ
