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] High-Performance Visible Light Photodetector Based on BiSeI Single Crystal
    Yan, Xiu
    Zhen, Wei-Li
    Hu, Hui-Jie
    Pi, Li
    Zhang, Chang-Jin
    Zhu, Wen-Ka
    CHINESE PHYSICS LETTERS, 2021, 38 (06)
  • [42] Development Trend of High-Performance Image Sensor with Wafer Bonding Technology
    Iguchi, Yoshinori
    Hagiwara, Kei
    Journal of Japan Institute of Electronics Packaging, 2015, 18 (07) : 458 - 462
  • [43] Magnetostrictive clad steel plates for high-performance vibration energy harvesting
    Yang, Zhenjun
    Nakajima, Kenya
    Onodera, Ryuichi
    Tayama, Tsuyoki
    Chiba, Daiki
    Narita, Fumio
    APPLIED PHYSICS LETTERS, 2018, 112 (07)
  • [44] High-Performance V/ f control of induction motor and its stability
    Nagasaki University, 1-14 Bunkyo-machi, Nagasaki 852-85215, Japan
    IEEJ Trans. Ind Appl., 9 (938-939): : 938 - 939
  • [45] Novel high-performance polyamide tapes with unidirectional glass fiber reinforcement
    Additives for Polymers, 2023, 2023 (08)
  • [46] Production technology for high-performance thermoplastics in aviation: Development of automated processes
    Gerngross, Tobias
    Konstruktion, 2017, 69 (04): : 14 - 16
  • [47] Investment offensive of 50Hertz: Billions for high-performance networks
    Neidlein, Hans-Christoph
    BWK- Energie-Fachmagazin, 2023, 75 (11-12):
  • [48] HOW SOME HIGH-PERFORMANCE RESINS STACK UP IN CHEMICAL RESISTANCE
    BRADY, DG
    HILL, HW
    MODERN PLASTICS, 1974, 51 (05): : 60 - 62
  • [49] Mobile high-performance dust collection system for unloading bulk cargo
    Peters, Andreas
    Kuhn, André
    Altmeyer, Gerhard
    Leibner, Hans-Jürgen
    ThyssenKrupp techforum, 2011, (01): : 44 - 47
  • [50] Development of an aluminum die cast piston for high-performance motorcycle engines
    Suzuki Motor Corporation, United States
    1600, (November 13, 2006):
12345