An implementation of a plasma physics application for distributed-memory supercomputers using a directive-based programming framework by Christian Asch, Emilio Francesquini, Esteban Meneses

Subjects: “…Parallel Programming…”
Get full text

Tail Recursion Transformation in Functional Dataflow Parallel Programs by A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

Subjects: “…functional dataflow parallel programming…”
Get full text

Error Classification and Static Detection Methods in Tri-Programming Models: MPI, OpenMP, and CUDA by Saeed Musaad Altalhi, Fathy Elbouraey Eassa, Sanaa Abdullah Sharaf, Ahmed Mohammed Alghamdi, Khalid Ali Almarhabi, Rana Ahmad Bilal Khalid

Subjects: Get full text

Prediction and Correction of Software Defects in Message-Passing Interfaces Using a Static Analysis Tool and Machine Learning by Norah Abdullah Al-Johany, Fathy Elbouraey Eassa, Sanaa Abdullah Sharaf, Amin Y. Noaman, Asaad Ahmed

Subjects: Get full text

Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

Subjects: “…data driven functional parallel programming…”
Get full text

Loop-invariant Optimization in the Pifagor Language by Vladimir S. Vasilev, Alexander I. Legalov

Subjects: “…data driven functional parallel programming…”
Get full text

DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS by Olga F. Babakhyan

Subjects: Get full text

Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

Subjects: Get full text