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 条
  • [31] Deriving dense linear algebra libraries
    Bientinesi, Paolo
    Gunnels, John A.
    Myers, Margaret E.
    Quintana-Orti, Enrique S.
    Rhodes, Tyler
    van de Geijn, Robert A.
    Van Zee, Field G.
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (06) : 933 - 945
  • [32] Interfaces for parallel numerical linear algebra libraries in high level languages
    Drummond, L. Anthony
    Galiano, Vicente
    Migallon, Violeta
    Penades, Jose
    ADVANCES IN ENGINEERING SOFTWARE, 2009, 40 (08) : 652 - 658
  • [33] Reliable Generation of High-Performance Matrix Algebra
    Nelson, Thomas
    Belter, Geoffrey
    Siek, Jeremy G.
    Jessup, Elizabeth
    Norris, Boyana
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2015, 41 (03):
  • [34] Towards High-Performance Computational Algebra with GAP
    Behrends, Reimer
    Konovalov, Alexander
    Linton, Steve
    Luebeck, Frank
    Neunhoeffer, Max
    MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 58 - +
  • [35] High performance linear algebra algorithms: An introduction
    Gustavson, Fred G.
    Wasniewski, Jerzy
    APPLIED PARALLEL COMPUTING: STATE OF THE ART IN SCIENTIFIC COMPUTING, 2006, 3732 : 225 - 227
  • [36] Mixing LU and QR factorization algorithms to design high-performance dense linear algebra solvers
    Faverge, Mathieu
    Herrmann, Julien
    Langou, Julien
    Lowery, Bradley
    Robert, Yves
    Dongarra, Jack
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2015, 85 : 32 - 46
  • [37] The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries
    Psarras, Christos
    Barthels, Henrik
    Bientinesi, Paolo
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2022, 48 (03):
  • [38] Embodied, symbolic and formal thinking in linear algebra
    Stewart, Sepideh
    Thomas, Michael O. J.
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2007, 38 (07) : 927 - 937
  • [39] High performance linear algebra package for FORTRAN 90
    Wasniewski, J
    Dongarra, J
    APPLIED PARALLEL COMPUTING: LARGE SCALE SCIENTIFIC AND INDUSTRIAL PROBLEMS, 1998, 1541 : 579 - 583
  • [40] Generic programming for high performance numerical linear algebra
    Siek, JG
    Lumsdaine, A
    Lee, LQ
    OBJECT ORIENTED METHODS FOR INTEROPERABLE SCIENTIFIC AND ENGINEERING COMPUTING, PROCEEDINGS, 1999, : 117 - 128
12345