PROGRAMMING HIGH-PERFORMANCE PARALLEL COMPUTATIONS: FORMAL MODELS AND GRAPHICS PROCESSING UNITS

被引：3
|
作者：
Andon, P. I. [1 ]
Doroshenko, A. Yu. [1 ]
Zherebatt, K. A. [1 ]
机构：
[1] Natl Acad Sci Ukraine, Inst Software Syst, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2011年 / 47卷 / 04期
关键词：
high-performance parallel computations; formal programming method; algebraic dynamic model of a program; rewriting rule; graphics processing unit;
D O I：
10.1007/s10559-011-9346-y
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This article presents a line of development of formal design methods that is based on the concepts of algebraic programming and algebraic dynamic program models using rewriting rules for the automated design of efficient programs for graphics processing units. The developed formal methods are illustrated by examples that show high efficiency of transformations.
引用
收藏
页码：659 / 668
页数：10
相关论文
共 50 条
  • [21] Programming Models for High-Performance Computing
    Snir, Marc
    PROCEEDINGS OF THE 2013 13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID 2013), 2013, : 1 - 1
  • [22] High-performance attribute reduction on graphics processing unit
    Jing, Si-Yuan
    Yang, Jun
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2020, 32 (06) : 977 - 996
  • [23] HIGH PERFORMANCE IMAGE PROCESSING OF SATELLITE IMAGES USING GRAPHICS PROCESSING UNITS
    Rumanek, Michal
    Danek, Tomasz
    Lesniak, Andrzej
    2011 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM (IGARSS), 2011, : 559 - 561
  • [24] Tool Support for Efficient Programming of Graphics Processing Units
    Damevski, Kostadin
    BRIDGING MATHEMATICS, STATISTICS, ENGINEERING AND TECHNOLOGY, 2012, 24 : 97 - 103
  • [25] Dynamic Computations in Massively Parallel Programming Models
    Di, Meglio, R.
    Bulletin of the European Association for Theoretical Computer Science, 1994, (53):
  • [26] ACCELERATING GENETIC PROGRAMMING THROUGH GRAPHICS PROCESSING UNITS
    Banzhaf, Wolfgang
    Harding, Simon
    Langdon, William B.
    Wilson, Garnett
    GENETIC PROGRAMMING THEORY AND PRACTICE VI, 2009, : 229 - +
  • [27] Data-Parallel High-Precision Multiplication on Graphics Processing Units
    Isupov, Konstantin
    Kuvaev, Alexander
    Knyazkov, Vladimir
    SUPERCOMPUTING (RUSCDAYS 2019), 2019, 1129 : 15 - 25
  • [28] Guest editorial for the special issue on high-performance computing on graphics processing units for field and device modeling
    Lomakin, Vitaliy
    INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS, 2013, 26 (04) : 307 - 308
  • [29] High-Performance Computing with Quantum Processing Units
    Britt, Keith A.
    Humble, Travis S.
    ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS, 2017, 13 (03)
  • [30] A Parallel Algebraic Multigrid Solver on Graphics Processing Units
    Haase, Gundolf
    Liebmann, Manfred
    Douglas, Craig C.
    Plank, Gernot
    HIGH PERFORMANCE COMPUTING AND APPLICATIONS, 2010, 5938 : 38 - +
12345