Several recent papers have introduced a periodic verification mechanism to detect silent errors in iterative solvers. Chen [PPoPPâ€™13, pp. 167â€“176] has shown how to combine such a verificationâ€¦ (More)

Data storage and data access represent the key of CPU-intensive and data-intensive high performance Grid computing. Hadoop is an open-source data processing framework that includes fault-tolerant andâ€¦ (More)

2015 IEEE International Parallel and Distributedâ€¦

2015

Several recent papers have introduced a periodic verification mechanism to detect silent errors in iterative solvers. Chen [PPoPP'13, pp. 167 -- 176] has shown how to combine such a verificationâ€¦ (More)

An algorithm is proposed for computing primary matrix Lambert W functions of a square matrix A, which are solutions of the matrix equation WeW = A. The algorithm employs the Schur decomposition andâ€¦ (More)

Two algorithms are developed for computing the matrix logarithm in floating point arithmetic of any specified precision. The backward error-based approach used in the state of the art inverse scalingâ€¦ (More)

This report describes a unified framework for the detection and correction of silent errors, which constitute a major threat for scientific applications at extremescale. We first motivate the problemâ€¦ (More)