Valentina Popescu

PhD thesis, 2017

Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2017

Formal Verification of a Floating-Point Expansion Renormalization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

2016

Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Parallel floating-point expansions for extended-precision GPU computations.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions.

[BibT_eX]

[DOI]

Ping Tak Peter Tang

Proceedings of the 23nd IEEE Symposium on Computer Arithmetic, 2016

2014

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.

[BibT_eX]

[DOI]

Warwick Tucker

SIGARCH Comput. Archit. News, 2014

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2013

IBM pure application system pattern development and deployment.

[BibT_eX]

[DOI]

Bhadri Madapusi

Gloria Yadira Torrealba Melendez

Victor Adrian

Proceedings of the Center for Advanced Studies on Collaborative Research, 2013

2009

Virtuoso Business Mashups: building situational applications in record time.

[BibT_eX]

[DOI]

Bhadri Madapusi

Polina Gohshtein