Search · four archives
Search · four archives
14 papers · ranked by Valyu relevance
Sonu Kumar, Lavanya Vinnakota, Mukul Lokhande, Santosh Kumar Vishvakarma + 1 more
—The growing demand for edge-AI systems requires arithmetic units that balance numerical precision, energy efficiency, and compact hardware while supporting diverse formats. Posit arithmetic offers advantages over floating- and fixed-point representations through its tapered precision, wide dynamic range, and improved…
Xinye Chen, Thibault Hilaire, Fabienne Jézéquel
Reduced-precision arithmetic offers significant opportunities to improve performance, memory usage, and energy efficiency in numerical applications, provided that numerical accuracy is preserved. This work investigates automated precision tuning through customized floating-point formats with user-defined exponent and…
Hunhold, Laslo
In light of recent hardware advances, it is striking that real arithmetic in balanced ternary logic has received almost no attention in the literature. This is particularly surprising given ternary logic's promising properties, which could open new avenues for energy-efficient computing and offer novel strategies for…
Tomonori Kouya
Arbitrary-precision floating-point arithmetic is used to solve ill-conditioned problems in scientific computing, and MPFR and MPC have become the de facto standard libraries for CPU-based computations. However, no publicly available environment provides MPFR/MPC functionality on GPUs. In this study, we developed…
Daichi Mukunoki, Katsuhisa Ozaki
—To obtain accurate results in numerical computation, high-precision arithmetic is a straightforward approach. However, most processors lack hardware support for floatingpoint formats beyond double precision (FP64). Double-word arithmetic (Dekker 1971) extends precision by using standard floating-point operations to…
José E. Cruz Serrallés, Oluwadara Ogunkoya, Kürkçüo{g}lu, Do{g}a Murat + 5 more
Center for Biomedical Imaging, Department of Radiology, New York University Grossman School of Medicine, New York, New York, 10016, USA Superconducting and Quantum Materials System Center (SQMS), Batavia, Illinois, 60510, USA Fermi National Accelerator Laboratory, Batavia, Illinois, 60510, USA NASA Ames Research…
Hassan Hamad, Yuou Qiu, Peter A. Beerel, Keith M. Chugg
While advancements in quantization have significantly reduced the computational costs of inference in deep learning, training still predominantly relies on complex floating-point arithmetic. Low-precision fixed-point training presents a compelling alternative. This work introduces a novel enhancement in low-precision…
Martin Köhler, Peter Benner
Although Fortran is almost 70 years old, the language continues to evolve in order to keep pace with developments in computer science. In particular, a flexible type system was introduced that allows developers to specify the sizes of floating-point numbers and integers. In the latest revisions of the Fortran standard…
Gabriele Agliardi, Enrico Prati
There are several possible ways to encode random variables in a quantum state. The basis encoding of bit strings has paramount importance because it allows to load the values of a random variable through the superposition of corresponding basis states, and to then exploit quantum parallelism in processing algorithms.…
Mukul Lokhande, Ratko Pilipovic, Omkar Kokane, Adam Teman + 1 more
Advanced driver-assistance systems (ADAS) require neural compute engines that deliver low-latency inference under strict power and area constraints. Posit arithmetic is attractive for such accelerators because it provides high numerical fidelity at low precision, but its variable-length regime encoding increases…
Cheng-Yen Lee, Zach Assad, Gautham Nemani, Sunil P. Khatri
In computing, there is a need for number representation schemes that provide large dynamic range with low error. Many applications, including embedded systems and edge machine learning, have stringent memory constraints yet require large dynamic range for data representation. We present Weighted Integer (WINT), a…
Youshuai Tan, Zishuo Ding, Jinfu Chen, Weiyi Shang
Errors in floating-point programs can lead to severe consequences, particularly in critical domains such as military, aerospace, and financial systems, making their repair a crucial research problem. In practice, some errors can be fixed using original-precision arithmetic, while others require high-precision…
Piotr Bacik, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala + 2 more
We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers of the form $2n^3-5n+3$, etc.) Although the full attendant first-order theories are well known to be undecidable, very little is known when…
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
Stream-based monitoring assesses the health of safety-critical systems by transforming input streams of sensor measurements into output streams that determine a verdict. These inputs are often treated as accurate representations of the physical state, although real sensors introduce calibration and measurement errors.…