Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMarch 2023
Combining Sparse Approximate Factorizations with Mixed-precision Iterative Refinement
ACM Transactions on Mathematical Software (TOMS), Volume 49, Issue 1Article No.: 4, Pages 1–29https://doi.org/10.1145/3582493The standard LU factorization-based solution process for linear systems can be enhanced in speed or accuracy by employing mixed-precision iterative refinement. Most recent work has focused on dense systems. We investigate the potential of mixed-precision ...
- research-articleJanuary 2018
Accelerating the Solution of Linear Systems by Iterative Refinement in Three Precisions
SIAM Journal on Scientific Computing (SISC), Volume 40, Issue 2Pages A817–A847https://doi.org/10.1137/17M1140819We propose a general algorithm for solving an $n\times n$ nonsingular linear system $Ax = b$ based on iterative refinement with three precisions. The working precision is combined with possibly different precisions for solving for the correction term and for ...
- research-articleJanuary 2017
A New Analysis of Iterative Refinement and Its Application to Accurate Solution of Ill-Conditioned Sparse Linear Systems
SIAM Journal on Scientific Computing (SISC), Volume 39, Issue 6Pages A2834–A2856https://doi.org/10.1137/17M1122918Iterative refinement is a long-standing technique for improving the accuracy of a computed solution to a nonsingular linear system $Ax = b$ obtained via LU factorization. It makes use of residuals computed in extra precision, typically at twice the working ...
- research-articleSeptember 2016
Vectorization of Multibyte Floating Point Data Formats
PACT '16: Proceedings of the 2016 International Conference on Parallel Architectures and CompilationPages 363–372https://doi.org/10.1145/2967938.2967966We propose a scheme for reduced-precision representation of floating point data on a continuum between IEEE-754 floating point types. Our scheme enables the use of lower precision formats for a reduction in storage space requirements and data transfer ...
- ArticleJune 2015
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision
ARITH '15: Proceedings of the 2015 IEEE 22nd Symposium on Computer ArithmeticPages 96–103https://doi.org/10.1109/ARITH.2015.14The worst-case peak gain (WCPG) of a linear filter is an important measure for the implementation of signal processing algorithms. It is used in the error propagation analysis for filters, thus a reliable evaluation with controlled precision is ...
- ArticleDecember 2012
A Fast Implementation of Matrix-matrix Product in Double-double Precision on NVIDIA C2050 and Application to Semidefinite Programming
ICNC '12: Proceedings of the 2012 Third International Conference on Networking and ComputingPages 68–75https://doi.org/10.1109/ICNC.2012.19We have implemented a fast double-double precision (has approx. 32 decimal significant digits) version of matrix-matrix multiplication routine called gRgemm h of MPACK (http://mplapack.sourceforge.net/) on NVIDIA C2050 GPU. This routine is a higher ...
- ArticleNovember 2012
Poster: MPACK 0.7.0: Multiple Precision Version of BLAS and LAPACK
SCC '12: Proceedings of the 2012 SC Companion: High Performance Computing, Networking Storage and AnalysisPage 1353https://doi.org/10.1109/SC.Companion.2012.183We are interested in the accuracy of linear algebra operations; accuracy of the solution of linear equation, eigenvalue and eigenvectors of some matrices, etc. This is a reason for we have been developing the MPACK. The MPACK consists of MBLAS and ...
- ArticleDecember 2011
A Fully Pipelined Modular Multiple Precision Floating Point Multiplier with Vector Support
ISED '11: Proceedings of the 2011 International Symposium on Electronic System DesignPages 45–50https://doi.org/10.1109/ISED.2011.14The rapid evolution of reconfigurable computing places a great demand for Floating Point Multipliers (FPMs) capable of supporting wide range of application domains from scientific computing to multimedia applications. While former needs the support of ...
- ArticleJuly 2011
Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound
ARITH '11: Proceedings of the 2011 IEEE 20th Symposium on Computer ArithmeticPages 225–232https://doi.org/10.1109/ARITH.2011.38The evaluation of special functions often involves the evaluation of numerical constants. When the precision of the evaluation is known in advance (e.g., when developing libms) these constants are simply precomputed once and for all. In contrast, when ...
Algorithm 911: Multiple-Precision Exponential Integral and Related Functions
ACM Transactions on Mathematical Software (TOMS), Volume 37, Issue 4Article No.: 46, Pages 1–16https://doi.org/10.1145/1916461.1916470This article describes a collection of Fortran-95 routines for evaluating the exponential integral function, error function, sine and cosine integrals, Fresnel integrals, Bessel functions, and related mathematical special functions using the FM multiple-...
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
ACM Transactions on Mathematical Software (TOMS), Volume 37, Issue 4Article No.: 45, Pages 1–27https://doi.org/10.1145/1916461.1916469This article presents a portable C++ system for multiple precision calculations of special functions called e_float. It has an extendable architecture with a uniform C++ layer which can be used with any suitably prepared MP type. The system implements ...
- chapterApril 2009
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Numerical Validation in Current Hardware ArchitecturesApril 2009, Pages 41–67https://doi.org/10.1007/978-3-642-01591-5_4A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product ...
- ArticleAugust 2003
Exploiting fast hardware floating point in high precision computation
ISSAC '03: Proceedings of the 2003 international symposium on Symbolic and algebraic computationPages 111–118https://doi.org/10.1145/860854.860886We apply an iterative refinement method based on a linear Newton iteration to solve a particular group of high precision computation problems. The method generates an initial solution at hardware floating point precision using a traditional method and ...
Algorithm 814: Fortran 90 software for floating-point multiple precision arithmetic, gamma and related functions
ACM Transactions on Mathematical Software (TOMS), Volume 27, Issue 4Pages 377–387https://doi.org/10.1145/504210.504211A collection of Fortran-90 routines for evaluating the gamma function and related functions using the FM multiple-precision arithmetic package.
Algorithm 786: multiple-precision complex arithmetic and functions
ACM Transactions on Mathematical Software (TOMS), Volume 24, Issue 4Pages 359–367https://doi.org/10.1145/293686.293687This article describes a collection of Fortran routines for multiple-precision complex arithmetic and elementary functions. The package provides good exception handling, flexible input and output, trace features, and results that are almost always ...
- articleJanuary 1998
Refereed paper: Realisation of a minimum-knowledge identification and signature scheme
Computers and Security (CSEC), Volume 17, Issue 3Pages 253–264https://doi.org/10.1016/S0167-4048(98)80339-8A minimum-knowledge scheme allows a claimant to prove its identity to a verifier without disclosing any secret information. Minimum-knowledge schemes, incorporating identity verification, signature generation and verification, are generally based on ...
- articleSeptember 1974
A precise numerical analysis program
Communications of the ACM (CACM), Volume 17, Issue 9Pages 509–513https://doi.org/10.1145/361147.361107A description is given of a program for computing the solution to a small number of standard numerical analysis problems to any specified accuracy, up to a limit of 2000 correct decimal places. Each computed number is bounded in an interval with a ...