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
关键词
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 条
  • [1] Heterogeneous multicore parallel programming for graphics processing units
    Bodin, Francois
    Bihan, Stephane
    SCIENTIFIC PROGRAMMING, 2009, 17 (04) : 325 - 335
  • [2] Compressed basis GMRES on high-performance graphics processing units
    Aliaga, Jose, I
    Anzt, Hartwig
    Gruetzmacher, Thomas
    Quintana-Orti, Enrique S.
    Tomas, Andres E.
    INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2023, 37 (02): : 82 - 100
  • [3] High-performance tomographic reconstruction using graphics processing units
    Nesterets, Ya I.
    Gureyev, T. E.
    18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 1045 - 1051
  • [4] High-Performance Bankruptcy Prediction Model using Graphics Processing Units
    Ribeiro, Bernardete
    Lopes, Noel
    Silva, Catarina
    2010 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS IJCNN 2010, 2010,
  • [5] High-Performance Pseudo-Random Number Generation on Graphics Processing Units
    Nandapalan, Nimalan
    Brent, Richard P.
    Murray, Lawrence M.
    Rendell, Alistair P.
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT I, 2012, 7203 : 609 - 618
  • [6] Use of high-performance graphics processing units for power system demand forecasting
    He T.
    Meng K.
    Dong Z.Y.
    Oh Y.-T.
    Xu Y.
    Journal of Electrical Engineering and Technology, 2010, 5 (03): : 363 - 370
  • [7] Use of High-performance Graphics Processing Units for Power System Demand Forecasting
    He, Ting
    Meng, Ke
    Dong, ZhaoYang
    Oh, Yong-Taek
    Xu, Yan
    JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY, 2010, 5 (03) : 363 - 370
  • [8] Alinea: An Advanced Linear Algebra Library for Massively Parallel Computations on Graphics Processing Units
    Magoules, Frederic
    Ahamed, Abal-Kassim Cheik
    INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2015, 29 (03): : 284 - 310
  • [9] Genetic programming on graphics processing units
    Denis Robilliard
    Virginie Marion-Poty
    Cyril Fonlupt
    Genetic Programming and Evolvable Machines, 2009, 10 : 447 - 471
  • [10] Genetic programming on graphics processing units
    Robilliard, Denis
    Marion-Poty, Virginie
    Fonlupt, Cyril
    GENETIC PROGRAMMING AND EVOLVABLE MACHINES, 2009, 10 (04) : 447 - 471