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] A HIGH-PERFORMANCE BIPOLAR INTEGRATED-CIRCUIT PROCESS
    PECENCO, IV
    WANG, AS
    HEWLETT-PACKARD JOURNAL, 1982, 33 (09): : 27 - 29
  • [22] High-performance Java codes for computational fluid dynamics
    Department of Computer Science, University of North Carolina, Chapel Hill, NC 27599-3175, United States
    不详
    ACM 2001 Java Grande/ISCOPE Conf., (143-152):
  • [23] Pyrox 2000 Materials: High-Performance Furnace Resistors.
    Moise, A.
    Materials Technology, 1975, 63 (10): : 387 - 390
  • [24] Comprehensive comparison of the current crop of high-performance DRAM specifications
    Comput Des, 13 (127):
  • [25] TRANSPARENT ELECTROPHOTOGRAPHIC FILM EVALUATION FOR HIGH-PERFORMANCE DATA RECORDING
    WEAVER, SE
    BINNS, BW
    RALSTON, LM
    OPTICAL ENGINEERING, 1981, 20 (03) : 365 - 372
  • [26] IMPROVEMENTS IN HIGH-PERFORMANCE LOWPASS FILTERS USING COUPLED WINDINGS
    HURLEY, NV
    PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1978, 125 (09): : 865 - 872
  • [27] HIGH-PERFORMANCE PLASTICS - AN UPDATED GUIDE FOR THE DESIGN ENGINEER.
    Anon
    Plastics Engineering, 1976, 3 (04):
  • [28] Self-cleaning pumps with a high-performance intake filter
    Chemical Engineering (United States), 2023, (September):
  • [29] GLASS FABRICS FUNCTIONALIZATION FOR THE DEVELOPMENT OF HIGH-PERFORMANCE SANDWICH STRUCTURES
    Săftoiu, George-Valentin
    Constantin, Carolina
    Nicoară, Adrian-Ionuț
    Pelin, George
    Ficai, Denisa
    Ficai, Anton
    UPB Scientific Bulletin, Series B: Chemistry and Materials Science, 2023, 85 (01): : 17 - 28
  • [30] Engineering Application of 690 MPa High-Performance Bridge Steel
    Yi, Lun-Xiong
    Yuan, Yi
    Peng, Zui
    Bridge Construction, 2021, 51 (05) : 14 - 19
12345