Papers matching “floating-point arithmetic” 15
Not finding it? Sign in to also search OpenAlex live.
-
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 -
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
An Investigation on Inherent Robustness of Posit Data Representation2021 International Conference on VLSI Design and International Conference on Embedded Systems (VLSID) conference-paper Computer Science Numerical Methods and Algorithms Open access
Ihsen Alouani, Anouar Ben Khalifa, Farhad Merchant, Rainer Leupers
20citations -
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 -
Mixed-Precision GPU Acceleration of RTE-RRTMGP-CPP: Towards Radiative Transfer Simulations on Exascale Supercomputers2026 Procedia Computer Science conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Stijn Heldens, Alessio Sclocco, Gijs van den Oord, Ben van Werkhoven, Chiel van Heerwaarden, Erwan Raffin, +1 more
0citations
15 results