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 条
  • [41] Memristive Accelerators for Dense and Sparse Linear Algebra: From Machine Learning to High-Performance Scientific Computing
    Ipek, Engin
    IEEE MICRO, 2019, 39 (01) : 58 - 61
  • [42] The FLAME approach: From dense linear algebra algorithms to high-performance multi-accelerator implementations
    Igual, Francisco D.
    Chan, Ernie
    Quintana-Orti, Enrique S.
    Quintana-Orti, Gregorio
    van de Geijn, Robert A.
    Van Zee, Field G.
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2012, 72 (09) : 1134 - 1143
  • [43] BiSon-e: A Lightweight and High-Performance Accelerator for Narrow Integer Linear Algebra Computing on the Edge
    Reggiani, Enrico
    Ramirez Lazo, Cristobal
    Figueras Bague, Roger
    Cristal, Adrian
    Olivieri, Mauro
    Sabri Unsal, Osman
    ASPLOS '22: PROCEEDINGS OF THE 27TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2022, : 56 - 69
  • [44] Expression and loop libraries for high-performance code synthesis
    Mueller, Christopher
    Lumsdaine, Andrew
    LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, 2007, 4382 : 80 - +
  • [45] A generic programming environment for high-performance mathematical libraries
    Schreiner, W
    Danielczyk-Landerl, W
    Marin, M
    Stöcher, W
    GENERIC PROGRAMMING, 2000, 1766 : 256 - 267
  • [46] Modeling and Formal Validation of High-Performance Embedded Systems
    Gamatic, Abdoulaye
    Rutten, Eric
    Yu, Huafeng
    Boulet, Pierre
    Dekeyser, Jean-Luc
    PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, 2008, : 215 - +
  • [47] A high-performance linear magnetic gear
    Atallah, K
    Wang, J
    Howe, D
    JOURNAL OF APPLIED PHYSICS, 2005, 97 (10)
  • [48] A high-performance linear magnetic gear
    Atallah, K., 1600, American Institute of Physics Inc. (97):
  • [49] High-performance linear cable transmission
    Saval, Joan
    Martin, Javier
    Avello, Alejo
    JOURNAL OF MECHANICAL DESIGN, 2008, 130 (06) : 0645011 - 0645015
  • [50] Lightweight formal methods for computer algebra systems
    Univ of St. Andrews, United Kingdom
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 80 - 87
12345