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 条
  • [21] Codesign Tradeoffs for High-Performance, Low-Power Linear Algebra Architectures
    Pedram, Ardavan
    van de Geijn, Robert A.
    Gerstlauer, Andreas
    IEEE TRANSACTIONS ON COMPUTERS, 2012, 61 (12) : 1724 - 1736
  • [22] FORMAL THEORIES FOR LINEAR ALGEBRA
    Cook, Stephen
    Fontes, Lila
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
  • [23] Formal Theories for Linear Algebra
    Cook, Stephen
    Fontes, Lila
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 245 - 259
  • [24] Generic programming and high-performance libraries
    Gregor, D
    Järvi, J
    Kulkarni, M
    Lumsdaine, A
    Musser, D
    Schupp, S
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2005, 33 (2-3) : 145 - 164
  • [25] Generic Programming and High-Performance Libraries
    Douglas Gregor
    Jaakko Järvi
    Mayuresh Kulkarni
    Andrew Lumsdaine
    David Musser
    Sibylle Schupp
    International Journal of Parallel Programming, 2005, 33 : 145 - 164
  • [26] High-Performance Computer Algebra: A Hecke Algebra Case Study
    Maier, Patrick
    Livesey, Daria
    Loidl, Hans-Wolfgang
    Trinder, Phil
    EURO-PAR 2014 PARALLEL PROCESSING, 2014, 8632 : 415 - 426
  • [27] Productive High-Performance k-Truss Decomposition on GPU Using Linear Algebra
    Wang, Runze
    Yu, Linchen
    Wang, Qinggang
    Xin, Jie
    Zheng, Long
    2021 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2021,
  • [28] Graph BLAST: A High-Performance Linear Algebra-based Graph Framework on the GPU
    Yang, Carl
    Buluc, Aydin
    Owens, John D.
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2022, 48 (01):
  • [29] High-performance linear algebra algorithms using new generalized data structures for matrices
    Gustavson, FG
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2003, 47 (01) : 31 - 55
  • [30] Future linear-algebra libraries
    Dongarra, J
    IEEE COMPUTATIONAL SCIENCE & ENGINEERING, 1996, 3 (02): : 38 - 40
12345