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] High-performance parallel programming in Java: Exploiting native libraries
    Univ of Westminster, Harrow, United Kingdom
    Concurrency Pract Exper, 1600, 11-13 (863-872):
  • [2] High-Performance Computing System Architectures: Design and Performance
    Bagherzadeh, Nader
    Sarbazi-Azad, Hamid
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2012, 6 (05) : 257 - 258
  • [3] HQMOS - A HIGH-PERFORMANCE NMOS TECHNOLOGY
    FU, HS
    SZETO, RTH
    DEJENFELT, AT
    CHEN, DC
    HEWLETT-PACKARD JOURNAL, 1982, 33 (10): : 21 - 27
  • [4] High-performance implementations of the descartes method
    Johnson, Jeremy R.
    Krandick, Werner
    Lynch, Kevin
    Richardson, David G.
    Ruslanov, Anatole D.
    Proc Int Symp Symbol Algebraic Comput ISSAC, 1600, (154-161):
  • [5] High-performance computing in structural design
    Li, Yungui
    Jianzhu Jiegou Xuebao/Journal of Building Structures, 2010, 31 (06): : 89 - 95
  • [6] High-performance data management in Java
    Lamb, Charles
    Dr Dobb's J, 7 (45-49):
  • [7] HIGH-PERFORMANCE THERMAL CUTTING.
    Karow, Jerry
    Tooling and production, 1981, 46 (11): : 66 - 69
  • [8] Global Stability of High-performance Steel Beams
    Qiang, Xuhong
    Zhao, Bosen
    Jiang, Xu
    Xu, Han
    Tongji Daxue Xuebao/Journal of Tongji University, 2022, 50 (05): : 642 - 651
  • [9] High-performance catalyst improves hydrogen economy
    Donaldson, Laurie
    MATERIALS TODAY, 2015, 18 (10) : 535 - 536
  • [10] High-Performance Computing in Edge Computing Networks
    Tu, Wanqing
    Pop, Florin
    Jia, Weijia
    Wu, Jie
    Iacono, Mauro
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2019, 123 : 230 - 230
12345