Formal methods for high-performance linear algebra libraries

被引：0
|
作者：
Gunnels, John A. [1 ]
van de Geijn, Robert A. [1 ]
机构：
[1] Department of Computer Sciences, The University of Texas at Austin, Austin, TX 78712, United States
来源：
IFIP Advances in Information and Communication Technology | 2001年 / 60卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
FORTRAN (programming language) - Lower-upper decomposition - Codes (symbols) - Memory architecture - Computer software - Formal methods - Libraries
引用
收藏
页码：193 / 208
相关论文
共 50 条
  • [1] Formal methods for high-performance linear algebra libraries
    Gunnels, JA
    van de Geijn, RA
    ARCHITECTURE OF SCIENTIFIC SOFTWARE, 2001, 60 : 193 - 210
  • [2] Rapid development of high-performance linear algebra libraries
    Bientinesi, Paolo
    Gunnels, John A.
    Gustavson, Fred G.
    Henry, Greg M.
    Myers, Margaret
    Quintana-Orti, Enrique S.
    van de Geijn, Robert A.
    APPLIED PARALLEL COMPUTING: STATE OF THE ART IN SCIENTIFIC COMPUTING, 2006, 3732 : 376 - 384
  • [3] SOFTWARE LIBRARIES FOR LINEAR ALGEBRA COMPUTATIONS ON HIGH-PERFORMANCE COMPUTERS
    DONGARRA, JJ
    WALKER, DW
    SIAM REVIEW, 1995, 37 (02) : 151 - 180
  • [4] LINEAR ALGEBRA ON HIGH-PERFORMANCE COMPUTERS
    DONGARRA, JJ
    SORENSEN, DC
    APPLIED MATHEMATICS AND COMPUTATION, 1986, 20 (1-2) : 57 - 88
  • [5] Accelerating R with high performance linear algebra libraries
    Oancea, Bogdan
    Andrei, Tudorel
    Dragoescu, Raluca Mariana
    ROMANIAN STATISTICAL REVIEW, 2015, (03) : 109 - 117
  • [6] Playa: High-performance programmable linear algebra
    Howle, Victoria E.
    Kirby, Robert C.
    Long, Kevin
    Brennan, Brian
    Kennedy, Kimberly
    SCIENTIFIC PROGRAMMING, 2012, 20 (03) : 257 - 273
  • [7] High-performance libraries for dense linear problems
    van de Geijn, R
    COMPUTATIONAL STATISTICS & DATA ANALYSIS, 1999, 31 (04) : 489 - 489
  • [8] FLAME: Formal linear algebra methods environment
    Gunnels, JA
    Gustavson, FG
    Henry, GM
    Van de Geijn, RA
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2001, 27 (04): : 422 - 455
  • [9] Performance estimation of linear algebra numerical libraries
    De Rosis, Alessandro
    JOURNAL OF NUMERICAL MATHEMATICS, 2015, 23 (01) : 13 - 19
  • [10] A modern framework for portable high-performance numerical linear algebra
    Siek, J
    Lumsdaine, A
    ADVANCES IN SOFTWARE TOOLS FOR SCIENTIFIC COMPUTING, 2000, 10 : 1 - 55
12345