156
click to vote
ARITH
9 years 8 months ago
2015 IEEE 
Abstract—Residue Number Systems (RNS) are naturally considered as an interesting candidate to provide efficient arithmetic for implementations of cryptosystems such as RSA, ECC ...
107
click to vote
ARITH
9 years 8 months ago
2015 IEEE 
—Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification sys...
102
click to vote
ARITH
9 years 8 months ago
2015 IEEE 
Abstract—This work introduces an approach to the computerassisted implementation of mathematical functions geared toward special functions such as those occurring in mathematical...
ARITH
9 years 8 months ago
2015 IEEE
—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...
ARITH
9 years 8 months ago
2015 IEEE 
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...
|
Applied Computing