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] Special issue on High-Performance Computing Conference (BASARIM 2022)
    Kaya, Kamer
    Sener, Cevat
    Yenigun, Husnu
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2023, 35 (24)
  • [32] Experimental verification of high-performance polymer gears in an electric vehicle powertrain
    Reitschuster, S.
    Tobie, T.
    Stahl, K.
    FORSCHUNG IM INGENIEURWESEN-ENGINEERING RESEARCH, 2023, 87 (03): : 881 - 890
  • [33] The Java Virtual Machine in retargetable, high-performance instruction set simulation
    Kaufmann, Marco
    Häsing, Matthias
    Preußer, Thomas
    Spallek, Rainer
    Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java, PPPJ 2011, 2011, : 21 - 30
  • [34] Proceedings of the 1996 Conference on Rotordynamic Instability Problems in High-Performance Turbomachinery
    Anon, NASA, Cleveland, OH, United States
  • [35] Endothermic material as combined firewalls in tunnels on high-performance railway lines
    Beele, Hans
    Mayer, Stefan
    eb - Elektrische Bahnen, 2024, 122 (8-9): : 358 - 365
  • [36] MODALT-project working on better batteries for high-performance vehicles
    Additives for Polymers, 2023, 2023 (09)
  • [37] FIESTA5: Numerical high-performance Feynman integral evaluation
    Smirnov, A.V.
    Shapurov, N.D.
    Vysotsky, L.I.
    Computer Physics Communications, 2022, 277
  • [38] LSI - KEY TO A HIGH-PERFORMANCE DTMF RECEIVER USING STANDARD FILTERS
    BRADLEY, B
    ELECTRONIC DESIGN, 1979, 27 (08) : 138 - 143
  • [39] High-Performance Warm Gearing Mechanisms and Worm Gear Motors.
    Vos, Heinz
    1600, (68):
  • [40] High-performance photodetection based on black arsenic utilizing the photoconductive effect
    Yu, Tingqiu
    Zhang, Shi
    Wu, Huilin
    Su, Jiayi
    OPTICAL MATERIALS EXPRESS, 2024, 14 (06): : 1446 - 1455
12345