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 条
  • [41] Parallel computations of local PageRank problem based on Graphics Processing Unit
    Lai, Siyan
    Shao, Bo
    Xu, Ying
    Lin, Xiaola
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (24):
  • [42] Algorithmic performance studies on graphics processing units
    Schenk, Olaf
    Christen, Matthias
    Burkhart, Helmar
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2008, 68 (10) : 1360 - 1369
  • [43] A comparison of Parallel Programming Models for Multiblock Flow Computations
    Sawley, M. L.
    Tegner, J.-K.
    Journal of Computational Physics, 1996,
  • [44] On the necessity of formal models for real-time parallel computations
    Bruda, SD
    Akl, SG
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 1291 - 1297
  • [45] Parallel Mining of Neuronal Spike Streams on Graphics Processing Units
    Cao, Yong
    Patnaik, Debprakash
    Ponce, Sean
    Archuleta, Jeremy
    Butler, Patrick
    Feng, Wu-chun
    Ramakrishnan, Naren
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2012, 40 (06) : 605 - 632
  • [46] Massively Parallel Expectation Maximization Using Graphics Processing Units
    Altinigneli, Muzaffer Can
    Plant, Claudia
    Boehm, Christian
    19TH ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING (KDD'13), 2013, : 838 - 846
  • [47] Parallel UPGMA Algorithm on Graphics Processing Units Using CUDA
    Chen, Yu-Rong
    Hung, Che Lun
    Lin, Yu-Shiang
    Lin, Chun-Yuan
    Lee, Tien-Lin
    Lee, Kual-Zheng
    2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 849 - 854
  • [48] Graphics Processing Units and Open Computing Language for parallel computing
    Perelygin, Kyrylo
    Lam, Shui
    Wu, Xiaolong
    COMPUTERS & ELECTRICAL ENGINEERING, 2014, 40 (01) : 241 - 251
  • [49] Parallel Computation of Bivariate Polynomial Resultants on Graphics Processing Units
    Stussak, Christian
    Schenzel, Peter
    APPLIED PARALLEL AND SCIENTIFIC COMPUTING, PT II, 2012, 7134 : 78 - 87
  • [50] Massively parallel chemical potential calculation on graphics processing units
    Daly, Kevin B.
    Benziger, Jay B.
    Debenedetti, Pablo G.
    Panagiotopoulos, Athanassios Z.
    COMPUTER PHYSICS COMMUNICATIONS, 2012, 183 (10) : 2054 - 2062
12345