Effective Parallel Computing via a Free Stale Synchronous Parallel Strategy by Hang Shi, Yue Zhao, Bofeng Zhang, Kenji Yoshigoe, Furong Chang

Subjects: Get full text

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

An efficient omnidirectional image unwrapping approach by Said Bouhend, Chakib Mustapha Anouar Zouaoui, Adil Toumouh, Nasreddine Taleb

Subjects: Get full text

A Comparison of Ryu and Pox Controllers: A Parallel Implementation by Muhammad Ikhwananda Rizaldi, Elsa Annas Sonia Yusuf, Denar Regata Akbi, Wildan Suharso

Subjects: 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

The System for Transforming the Code of Dataflow Programs into Imperative by Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

Subjects: 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

Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

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

Defect Detection and Correction in OpenMP: A Static Analysis and Machine Learning-Based Solution by Norah A. Al-Johany, Fathy E. Eassa, Sanaa A. Sharaf, Eynas H. Balkhair, Sara M. Assiri

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

Automation of Formal Verification of Programs in the Pifagor Language by M. S. Ushakova, A. I. Legalov

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

Goodness-of-Fit Test for the Bivariate Negative Binomial Distribution by Francisco Novoa-Muñoz, Juan Pablo Aguirre-González

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

MULTI-CHANNEL CONTROL SYSTEM FOR IN-SITU LABORATORY LOADING DEVICES by Václav Rada, Tomáš Fíla, Petr Zlámal, Daniel Kytýř, Petr Koudelka

Subjects: “…CNC, controlling, LinuxCNC, Python Interface, Python, parallel programming, Qt, PyQt, Qwt, PythonQwt, LabJack…”
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

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

Subjects: Get full text

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

Subjects: Get full text

A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs by Andrew M. Mironov

Subjects: “…parallel programs…”
Get full text

Parallel algorithm for calculating the integration. by Ehab Alasadi

Subjects: “…parallel program…”
Get full text

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

Subjects: Get full text