Specification and verification of GPGPU programs
Science of Computer Programming, 2014 Graphics Processing Units (GPUs) are increasingly used for general-purpose applications because of their low price, energy efficiency and enormous computing power. Considering the importance of GPU applications, it is vital that the behaviour of GPU programs can be specified and proven correct formally. This paper presents a logic to verify GPU kernels
Blom +3 more
openaire +4 more sources
GPU SOFTWARE AND ARCHITECTURE COMPARISONS FOR NUMERICAL SIMULATION OF PARTIAL DIFFERENTIAL EQUATIONS
TASK Quarterly, 2018 This paper will show a comparison between the Kepler, Maxwell and Pascal GPU architectures using CUDA-Fortran, with and without dynamic calls, to efficiently solve partial differential equations. The target is to show the possibility of using affordable
JON B. MAY, DONATO PERA
doaj +1 more source
Підходи до формалізації проектування застосувань в технології GPGPU
Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï, 2014 Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано
S. D. Pogorilyy +2 more
doaj
, 2014 This thesis studies the impact of hardware features of graphics cards on performance of GPU computing using GPGPU-Sim simulation software tool. GPU computing is a growing topic in the world of computing, and could be an important milestone for computers.
openaire +2 more sources
OpenCL-accelerated first-principles calculations of all-electron quantum perturbations on HPC resources. [PDF]
Front Chem, 2023 Wu Z +8 more
europepmc +1 more source
Computación de Alto Desempeño en GPU (High Performance Computing in GPU)
Journal of Computer Science and Technology, 2012 Through this textbook (written in Spanish), the author introduces the GPU as a parallel computer that is able to solve general-propose problems. The book has a didactic approach, it includes the first steps to CUDA programming, some tips to take account ...
María Fabiana Piccoli
doaj
Locality-Based Cache Management and Warp Scheduling for Reducing Cache Contention in GPU. [PDF]
Micromachines (Basel), 2021 Fang J, Wei Z, Yang H.
europepmc +1 more source
NK-GPGPU A GPGPU model for nested kernels [PDF]
Proceedings of the 2017 2nd International Conference on Automation, Mechanical Control and Computational Engineering (AMCCE 2017), 2017 Xilong Che, Liang Hu, QianLi Xing
openaire +1 more source
Fiber Clustering Acceleration With a Modified Kmeans++ Algorithm Using Data Parallelism. [PDF]
Front Neuroinform, 2021 Goicovich I +7 more
europepmc +1 more source
Jungfraujoch: hardware-accelerated data-acquisition system for kilohertz pixel-array X-ray detectors. [PDF]
J Synchrotron Radiat, 2023 Leonarski F +10 more
europepmc +1 more source