Search Results - "floating-point computation"

CHIMERA: Combining Ring-LWE-based Fully Homomorphic Encryption Schemes by Boura, Christina, Gama, Nicolas, Georgieva, Mariya, Jetchev, Dimitar

“…This paper proposes a practical hybrid solution for combining and switching between three popular Ring-LWE-based FHE schemes: TFHE, B/FV and HEAAN. This is…”
Get full text

基于多类型计算重写的浮点表达式精度优化方法 by 郝江伟, 杨鸿儒, 夏媛媛, 刘毅, 许瑾晨, 庞建民

“…TP311; 表达式重写是精度优化领域的新兴方法,其核心思想是在不改变表达式精度类型的前提下,将其变换为语义上等价的表达式以尝试提升精度.然而,面对庞大的变换规则和变换空…”
Get full text

Floating-point Expression Precision Optimization Method Based on Multi-type CalculationRewriting by HAO Jiangwei, YANG Hongru, XIA Yuanyuan, LIU Yi, XU Jinchen , PANG Jianmin

“…Expression rewriting is an emerging method in the field of precision optimization.Its core idea is to transform an expression into a semantically equivalent…”
Get full text

Integer Unit-Based Outlier-Aware LLM Accelerator Preserving Numerical Accuracy of FP-FP GEMM by Lee, Jehun, Kim, Jae-Joon

“…The proliferation of large language models (LLMs) has significantly heightened the importance of quantization to alleviate the computational burden given the…”
Get full text

Verifying floating-point programs with constraint programming and abstract interpretation techniques by Ponsini, Olivier, Michel, Claude, Rueher, Michel

“…Static value analysis is a classical approach for verifying programs with floating-point computations. Value analysis mainly relies on abstract interpretation…”
Get full text

Floating Point Arithmetic Protocols for Constructing Secure Data Analysis Application by Liu, Yun-Ching, Chiang, Yi-Ting, Hsu, Tsan-Sheng, Liau, Churn-Jung, Wang, Da-Wei

“…A large variety of data mining and machine learning techniques are applied to a wide range of applications today. There- fore, there is a real need to develop…”
Get full text

A general approach to the analysis of controlled perturbation algorithms by Mehlhorn, Kurt, Osbild, Ralf, Sagraloff, Michael

“…Controlled Perturbation (CP, for short) is an approach to obtaining efficient and robust implementations of a large class of geometric algorithms using the…”
Get full text

Reproducible Tall-Skinny QR by Nguyen, Hong Diep, Demmel, James

“…Reproducibility is the ability to obtain bitwise identical results from different runs of the same program on the same input data, regardless of the available…”
Get full text

A study of the reproducibility and repeatability of chaotic systems computation in the context of lightweight cryptography for edge sensor applications by Da Silva e Silva, Gilberto, Schmith, Jean, Steyer, Tobias Klein, Krummenauer, Alex, Ballestrin, Rogerio, Rodolfo, Taciano Ares

“…This study explores the application of chaotic systems in the context of lightweight cryptography for edge sensor applications. Chaotic systems offer promising…”
Get full text

Precise Floating-Point Summation and Dot Product Computation for Sunway by Liu, Bowen, Wang, Lei, Gao, Zhiyong, Wang, Panlong, Ying, Jinrui

“…The Sunway platform, as a representative of domestic high-performance processors, is widely used in scientific computing, but it has certain limitations in…”
Get full text

Computer arithmetic and sensitivity of natural measure by Sauer, Tim

“…In computer simulations of deterministic dynamical systems, floating-point rounding errors and other truncation errors contaminate the simulation results. We…”
Get full text

Floating point arithmetic teaching for computational science by Fernandez, J-J, Garcia, I, Garzon, E M

“…Computational science is based upon numerical computing and, consequently, requires excellent knowledge of floating point computer arithmetic. In general, the…”
Get full text

Customized Floating Point Algorithm for the Ranging System by Kumar, Rohit, Bazil Raj, A. Arockia

“…This In this work a new algorithm for the system in which space i.e. size is main concern is proposed. Using this algorithm we can achieve desired accuracy and…”
Get full text

Knowledge-guided Computation for Robust CAD by Piegl, Les A.

“…Robust computations have been haunting CAD system builders for decades. The common belief among researchers is that the source of the problem lies in rounded…”
Get full text

mAgic-FPU and MADE: A customizable VLIW core and the modular VLIW processor architecture description environment by Paolucci, Pier S., Kajfasz, Philippe, Bonnot, Philippe, Candaele, Bernard, Maufroid, Daniel, Pastorelli, Elena, Ricciardi, Andrea, Fusella, Yves, Guarino, Eugenio

“…mAgic-FPU is the architecture of a family of VLIW cores for configurable system level integration of floating and fixed point computing power. mAgic…”
Get full text

C++ Numerics, IEEE 754 and Boost C++ Multiprecision by Duffy, Daniel J

“…This chapter gives an introduction to the IEEE 754 technical standard for floating‐point computation. Many hardware floating‐point units now support IEEE 754…”
Get full text

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs by Ponsini, O., Michel, C., Rueher, Michel

“…Interpretation-based value analysis is a classical approach for verifying programs with floating-point computations. However, state-of-the-art tools compute an…”
Get full text

Pipelined Floating-Point Architecture for a Phase and Magnitude Detector Based on CORDIC by Surapong, P., Glesner, M.

“…To improve the computation precision of the beams control system in a heavy ion accelerator system, a floating-point phase and magnitude digital detector is…”
Get full text

Extending backward error assertions to tolerance of large errors in floating point computations by Fitzpatrick, P.

“…The use of backward error assertions combined with iterative refinement has been suggested for the correction of small fault induced errors in the floating…”
Get full text

The Use of Floating-Point and Interval Arithmetic in the Computation of Error Bounds by LOZIER, D. W

“…Three forms of interval floating-point arithmetic are defined in terms of absolute precision, relative precision, and combined absolute and relative precision…”
Get full text