-
2
-
-
0003706460
-
-
SIAM, Philadelphia
-
E. Anderson, Z. Bai, J. Demmel, J. E. Dongarra, J. DuCroz, A. Greenbaum, S. Hammarling, A. E. McKenney, S. Ostrouchov, and D. Sorensen. LAPACK Users' Guide. SIAM, Philadelphia, 1992.
-
(1992)
LAPACK Users' Guide
-
-
Anderson, E.1
Bai, Z.2
Demmel, J.3
Dongarra, J.E.4
Ducroz, J.5
Greenbaum, A.6
Hammarling, S.7
McKenney, A.E.8
Ostrouchov, S.9
Sorensen, D.10
-
4
-
-
0034590460
-
Demonstration of the Remote Exploration and Experimentation (REE) faulttolerant parallel-processing supercomputer for spacecraft onboard scientific data processing
-
F. Chen, L. Craymer, J. Deifik, A. J. Fogel, D. S. Katz, A. G. Sitliman, Jr., R. R. Some, S. A. Upchurch, and K. Whisnant. Demonstration of the Remote Exploration and Experimentation (REE) faulttolerant parallel-processing supercomputer for spacecraft onboard scientific data processing. In Proceedings of the IEEE International Conference on Dependable Systems and Networks, pages 367-372, 2000.
-
(2000)
Proceedings of the IEEE International Conference on Dependable Systems and Networks
, pp. 367-372
-
-
Chen, F.1
Craymer, L.2
Deifik, J.3
Fogel, A.J.4
Katz, D.S.5
Sitliman A.G., Jr.6
Some, R.R.7
Upchurch, S.A.8
Whisnant, K.9
-
5
-
-
0025402476
-
A set of level 3 basic linear algebra subprograms
-
March
-
Jack J. Dongarra, Jeremy Du Croz, Sven Hammarling, and Iain Duff. A set of level 3 basic linear algebra subprograms. ACM Trans. Math. Soft., 16(1):1-17, March 1990.
-
(1990)
ACM Trans. Math. Soft.
, vol.16
, Issue.1
, pp. 1-17
-
-
Dongarra, J.J.1
Du Croz, J.2
Hammarling, S.3
Duff, I.4
-
6
-
-
0003793981
-
-
SIAM, Philadelphia, PA
-
Jack J. Dongarra, Iain S. Duff, Danny C. Sorensen, and Henk A. van der Vorst. Solving Linear Systems on Vector and Shared Memory Computers. SIAM, Philadelphia, PA, 1991.
-
(1991)
Solving Linear Systems on Vector and Shared Memory Computers
-
-
Dongarra, J.J.1
Duff, I.S.2
Sorensen, D.C.3
Van der Vorst, H.A.4
-
7
-
-
0004236492
-
-
The Johns Hopkins University Press, Baltimore, 2nd edition
-
Gene H. Golub and Charles F. Van Loan. Matrix Computations. The Johns Hopkins University Press, Baltimore, 2nd edition, 1989.
-
(1989)
Matrix Computations
-
-
Golub, G.H.1
Van Loan, C.F.2
-
9
-
-
0012995964
-
Formal linear algebra methods Environment (FLAME): Overview
-
Department of Computer Sciences, The University of Texas at Austin, Nov.
-
John A. Gunnels, Greg M. Henry, and Robert A. van de Geijn. Formal Linear Algebra Methods Environment (FLAME): Overview. FLAME Working Note #1 CS-TR-00-28, Department of Computer Sciences, The University of Texas at Austin, Nov. 2000.
-
(2000)
FLAME Working Note #1 CS-TR-00-28
-
-
Gunnels, J.A.1
Henry, G.M.2
Van de Geijn, R.A.3
-
10
-
-
0013035182
-
Formal methods for high-performance linear algebra libraries
-
Ronald F. Boisvert and Ping Tak Peter Tang, editors. Kluwer Academic Press
-
John A. Gunnels and Robert A. van de Geijn. Formal methods for high-performance linear algebra libraries. In Ronald F. Boisvert and Ping Tak Peter Tang, editors, The Architecture of Scientific Software. Kluwer Academic Press, 2001.
-
(2001)
The Architecture of Scientific Software
-
-
Gunnels, J.A.1
Van de Geijn, R.A.2
-
11
-
-
0021439162
-
Algorithm-based fault tolerance for matrix operations
-
K. Huang and J.A. Abraham. Algorithm-based fault tolerance for matrix operations. IEEE Trans. on Computers, 33(6):518-528, 1984.
-
(1984)
IEEE Trans. on Computers
, vol.33
, Issue.6
, pp. 518-528
-
-
Huang, K.1
Abraham, J.A.2
-
12
-
-
0032155271
-
GEMM-based level 3 BLAS: High performance model implementations and performance evaluation benchmark
-
B. Kågström, P. Ling, and C. Van Loan. GEMM-based level 3 BLAS: High performance model implementations and performance evaluation benchmark. TOMS, 24(3):268-302, 1998.
-
(1998)
TOMS
, vol.24
, Issue.3
, pp. 268-302
-
-
Kågström, B.1
Ling, P.2
Van Loan, C.3
-
15
-
-
0031274275
-
Software reliability via run-time result-checking
-
H. Wasserman and M. Blum. Software reliability via run-time result-checking. Journal of the ACM, 44(6):826-849, 1997.
-
(1997)
Journal of the ACM
, vol.44
, Issue.6
, pp. 826-849
-
-
Wasserman, H.1
Blum, M.2
|