151
click to vote
ARITH
2015
IEEE
10 years 2 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...
165
Voted
ARITH
2015
IEEE
10 years 2 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...
168
click to vote
ARITH
2015
IEEE
10 years 2 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...
114
Voted
PERCOM
2015
ACM
10 years 2 months ago
2015
ACM
More and more renewable sources are integrated into electric power grids worldwide. Their high generation dynamics, however, require power grid operators to monitor electricity ge...
121
Voted
PERCOM
2015
ACM
10 years 2 months ago
2015
ACM
Smartphones are being increasingly used to perform financial transactions (through m-banking, virtual wallet or as a smartcard). The latter applications involve contactless techn...