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

Automated Models for Predicting Software Defects in Hybrid Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Parallel Programs Using Deep Learning by Amani Saad Althiban, Hajar M. Alharbi, Lama A. Al Khuzayem, Fathy Elbouraey Eassa

Subjects: “…Hybrid 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

Computational complexity when constructing rational plans for program execution in a given field of parallel computers by V. M. Bakanov

Subjects: “…execution plan of parallel program…”
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

Accelerating Spark-Based Applications with MPI and OpenACC by Saeed Alshahrani, Waleed Al Shehri, Jameel Almalki, Ahmed M. Alghamdi, Abdullah M. Alammari

“…Moreover, big data is considered a barrier of parallel programming models or accelerators (e.g., CUDA and OpenCL). …”
Get full text

Performance Comparison of OpenMP, MPI, and MapReduce in Practical Problems by Sol Ji Kang, Sang Yeon Lee, Keon Myung Lee

“…This paper briefly reviews the parallel computing models and describes three widely recognized parallel programming frameworks: OpenMP, MPI, and MapReduce. …”
Get full text

The library for parallel execution of rpC-programs under Win32 by V. V. Vasilchikov, Shubin

“…This library is a significant part of the RpmShell software for developing recursive parallel programming style.…”
Get full text

Dynamically Changing Parallelism with the Asynchronous Sequential Data Flows by Alexander I. Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova

“…We consider the features of the syntax and semantics of the statically typed data driven functional parallel programming language Smile that supports asynchronous sequential flows. …”
Get full text

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication by Bo LU, Yueming LU

“…Facing the demand of multi-domain security control in the integrated network of air and ground, to solve the problem that singleprocess regular matching restricts the performance of interconnected security gateway, the method of high-performance optimization of interconnected security control based on semantic security analysis of process communication was proposed.The interaction model of master-slave processes was described in a parallel programming language in the method.The state transition system semantics were given to accurately express the combined semantics of the master-slave processes.The security of master-slave processes in combinatorial semantics was analyzed, which ensured that the parallel running of processes had no deadlock and starvation, and was equivalent to the original regular matching.Experimental results showed that the proposed method could give full play to the advantages of multi-core hardware and reduced the context switching overhead of the scheduler.In the case of complex regular expressions, the method was an order of magnitude better than single-core running.…”
Get full text

Specx: a C++ task-based runtime system for heterogeneous distributed architectures by Paul Cardosi, Bérenger Bramas

“…Parallelization is needed everywhere, from laptops and mobile phones to supercomputers. Among parallel programming models, task-based programming has demonstrated a powerful potential and is widely used in high-performance scientific computing. …”
Get full text

Designing High-Performance Fuzzy Controllers Combining IP Cores and Soft Processors by Oscar Montiel-Ross, Jorge Quiñones, Roberto Sepúlveda

“…We used the ARM 32-bit soft processor, which allows sequential and parallel programming. The FLC coprocessor incorporates a tuning method that allows to manipulate the system response. …”
Get full text