High-performance implementation of the level-3 BLAS, ACM Transactions on Mathematical Software, vol.35, issue.1, pp.1-4, 2008. ,
DOI : 10.1145/1377603.1377607
USING ACCURATE ARITHMETICS TO IMPROVE NUMERICAL REPRODUCIBILITY AND STABILITY IN PARALLEL APPLICATIONS, Developments in Teracomputing, pp.259-277, 2001. ,
DOI : 10.1142/9789812799685_0026
Computer Architecture -A Quantitative Approach, 2007. ,
Intel Math Kernel Library for Linux OS User's Guide ,
Standardized notation in interval analysis, Reliable Computing, vol.15, issue.1, pp.7-13, 2010. ,
There's no reliable computing without reliable access to rounding modes, SCAN 2012 Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, pp.99-100, 2012. ,
Design, Implementation and Testing of Extended and Mixed Precision BLAS, ACM Transactions on Mathematical Software, vol.28, issue.2, pp.152-205, 2002. ,
Interval methods for systems of equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic, 2011. ,
Fast Inclusion of Interval Matrix Multiplication, Reliable Computing, vol.27, issue.1???2, pp.191-205, 2005. ,
DOI : 10.1007/s11155-005-3615-2
Fast algorithms for floating-point interval matrix multiplication, Journal of Computational and Applied Mathematics, vol.236, issue.7, pp.1795-1814, 2012. ,
DOI : 10.1016/j.cam.2011.10.011
Fast and parallel interval arithmetic, Bit Numerical Mathematics, vol.39, issue.3, pp.534-554, 1999. ,
DOI : 10.1023/A:1022374804152
Fast interval matrix multiplication, Numerical Algorithms, vol.89, issue.1, pp.1-34, 2012. ,
DOI : 10.1007/s11075-011-9524-z
Gaussian elimination is not optimal, Numerische Mathematik, vol.13, issue.4, pp.354-356, 1969. ,
DOI : 10.1007/BF02165411
Introduction to Conditional Numerical Repro- ducibility (CNR) http://software.intel.com/en-us/articles/ introduction-to-the-conditional-numerical-reproducibility-cnr, 2012. ,
Automatically Tuned Linear Algebra Software, Conference on High Performance Networking and Computing, pp.1-27, 1998. ,