Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ARITH
2015
IEEE
5 years 6 days ago
RNS Arithmetic Approach in Lattice-Based Cryptography: Accelerating the "Rounding-off" Core Procedure
Abstract—Residue Number Systems (RNS) are naturally considered as an interesting candidate to provide efficient arithmetic for implementations of cryptosystems such as RSA, ECC ...
Jean-Claude Bajard, Julien Eynard, Nabil Merkiche,...
ARITH
2015
IEEE
5 years 6 days ago
Modular Multiplication and Division Algorithms Based on Continued Fraction Expansion
In this paper, we apply results on number systems based on continued fraction expansions to modular arithmetic. We provide two new algorithms in order to compute modular multiplic...
Mourad Gouicem
ARITH
2015
IEEE
5 years 6 days ago
Reproducible Tall-Skinny QR
—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 computing resource...
Hong Diep Nguyen, James Demmel
ARITH
2015
IEEE
5 years 6 days ago
Semi-Automatic Floating-Point Implementation of Special Functions
Abstract—This work introduces an approach to the computerassisted implementation of mathematical functions geared toward special functions such as those occurring in mathematical...
Christoph Quirin Lauter, Marc Mezzarobba
ARITH
2015
IEEE
5 years 6 days ago
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
—Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification sys...
Martin Brain, Cesare Tinelli, Philipp Rümmer,...
books