24 search results - page 4 / 5 » Reduced Precision Checking for a Floating Point Adder |
TC
2008
14 years 9 months ago
2008
Compared to higher-precision data formats, lower-precision data formats result in higher performance for computationally intensive applications on FPGAs because of their lower res...
FCCM
2007
IEEE
14 years 11 months ago
2007
IEEE
Creating a high throughput sparse matrix vector multiplication (SpMxV) implementation depends on a balanced system design. In this paper, we introduce the innovative SpMxV Solver ...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
We describe a new LLL-type algorithm, H-LLL, that relies on Householder transformations to approximate the underlying Gram-Schmidt orthogonalizations. The latter computations are ...
58
Voted
ICRA
2009
IEEE
14 years 7 months ago
2009
IEEE
Our previous paper presented a method for reducing adhesion forces by oscillation and showed the adhesion state can be checked by analyzing the data obtained by laser displacement ...