Not finding it? Sign in to also search OpenAlex live.
-
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Engineering Fault Detection and Control Systems Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
Brightening the Optical Flow through Posit Arithmetic2021 International Symposium on Quality Electronic Design (ISQED) conference-paper Computer Science Numerical Methods and Algorithms Open access
Vinay Saxena, Ankitha Reddy, Jonathan Neudorfer, John Leroy Gustafson, Sangeeth Nambiar, Rainer Leupers, +1 more
11citations -
ExPAN(N)D: Exploring Posits for Efficient Artificial Neural Network Design in FPGA-Based Systems2020 arXiv (Cornell University) preprint Computer Science Numerical Methods and Algorithms Open access
Suresh Nambi, Salim Ullah, Siva Satyendra Sahoo, Aditya Lohana, Farhad Merchant, Akash S. Kumar
4citations
9 results