Search Results - Parallel Programs

Modeling of parallel program synchronization primitives

Authors: Oleg S. Kryukov Anna G. Voloshko Alexey N. Ivutin

Source: Моделирование и анализ информационных систем, Vol 32, Iss 2, Pp 150-171 (2025)

Subject Terms: synchronization primitives, petri nets, parallel program, Information technology, verification, T58.5-58.64

Access URL: https://doaj.org/article/476b53e183cc4cccb2c78126ff79ed1d

Automated Models for Predicting Software Defects in Hybrid Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Parallel Programs Using Deep Learning

Authors: Amani Saad Althiban Hajar M. Alharbi Lama A. Al Khuzayem et al.

Source: IEEE Access, Vol 13, Pp 65939-65954 (2025)

Subject Terms: software defect prediction, race conditions, deep learning, MPI, OpenMP, Electrical engineering. Electronics. Nuclear engineering, Hybrid parallel programming, TK1-9971

Access URL: https://doaj.org/article/a26bb2fc40124508b1266c2860d99190

ParSolGen - A Language and Automated Parallel Programs Construction Tool for Numerical Algorithms

Authors: Nikolai Beliaev

Source: Lecture Notes in Computer Science ISBN: 9783032067500

Taskgrind: Heavyweight Dynamic Binary Instrumentation for Parallel Programs Analysis

Authors: Pereira, Romain Stelle, George Carribault, Patrick et al.

Contributors: Pereira, Romain Stelle, George Carribault, Patrick et al.

Source: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :214-221

Subject Terms: Binary Instrumentation, HPC, Task, Determinacy Race, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.science/hal-04814885v1

An Extensible Thread Throttling Method for Multiple OpenMP Parallel Programs

Authors: Xiaoxuan Luo Weiwei Lin Jiachun Li et al.

Source: ACM Transactions on Embedded Computing Systems.

HPC-Coder: Modeling Parallel Programs using Large Language Models

Authors: Nichols, Daniel Marathe, Aniruddha Menon, Harshitha et al.

Source: ISC High Performance 2024 Research Paper Proceedings (39th International Conference). :1-12

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Artificial Intelligence, Distributed, Parallel, and Cluster Computing (cs.DC)

Access URL: http://arxiv.org/abs/2306.17281

OpenH: A Novel Programming Model and API for Developing Portable Parallel Programs on Heterogeneous Hybrid Servers

Authors: Simon Farrelly Ravi Reddy Manumachu Alexey Lastovetsky

Source: IEEE Access, Vol 12, Pp 23666-23694 (2024)

Subject Terms: Parallel computing, accelerators, parallel programming, 0202 electrical engineering, electronic engineering, information engineering, OpenMP, hybrid platform, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, heterogeneous platform, 7. Clean energy, TK1-9971

Access URL: https://doaj.org/article/d400d83054e8430ab3c92061e789c819

Automation of Debugging Parallel Programs in the DVM System

Authors: V. A. Bakhtin

Source: Mathematical Models and Computer Simulations. 16:S171-S180

Toward Automated Detection of Portability Bugs in Kokkos Parallel Programs

Authors: Vivek Kale Hanru Yan Shyamali Mukherjee et al.

Source: SC24-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis. :180-188

Experimental Study of Power Consumption of Basic Parallel Programs

Authors: Roblex Nana Tchakoute Claude Tadonki

Source: 2024 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW). :33-41

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs

Authors: Xinbang Hu Guanjun Liu Xiaofeng Li et al.

Source: 2024 International Conference on Networking, Sensing and Control (ICNSC). :1-6

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs

Authors: Wei, Anjiang Yadav, Rohan Song, Hang et al.

Subject Terms: FOS: Computer and information sciences, Programming Languages, Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2507.17087

Concurrent Scheduling of High-Level Parallel Programs on Multi-GPU Systems

Authors: Knorr, Fabian Salzmann, Philip Thoman, Peter et al.

Subject Terms: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC)

Access URL: http://arxiv.org/abs/2503.10516

A Type Discipline for Message Passing Parallel Programs

Authors: Vasco T. Vasconcelos Francisco Martins Hugo-Andrés López et al.

Source: Vasconcelos, V T, Martins, F, López, H A & Yoshida, N 2022, ' A Type Discipline for Message Passing Parallel Programs ', ACM Transactions on Programming Languages and Systems, vol. 44, no. 4, 26 . https://doi.org/10.1145/3552519

Subject Terms: termination, dependent types, Parallel programs, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, message passing computation

File Description: application/pdf

Access URL: https://ora.ox.ac.uk/objects/uuid:a88a570f-2b15-42e3-8839-abb468bd5f9e
https://doi.org/10.1145/3552519
https://curis.ku.dk/ws/files/336293420/A_Type_Discipline_for_Message_Passing_Parallel_Programs.pdf

A TCPN Automatically Modeling Method for Java Parallel Programs Oriented to Performance Analysis

Authors: Yefan Zhang Tao Sun Wenjie Zhong et al.

Source: 2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD). :2466-2471

The Role of Idle Waves, Desynchronization, and Bottleneck Evasion in the Performance of Parallel Programs

Authors: Ayesha Afzal Georg Hager Gerhard Wellein

Source: IEEE Transactions on Parallel and Distributed Systems. 34:623-638

Subject Terms: Performance (cs.PF), FOS: Computer and information sciences, Computer Science - Performance, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, 01 natural sciences

Access URL: http://arxiv.org/abs/2205.04190

Features of Creating Parallel Programs for the Parallel Dataflow Computing System 'Buran'

Authors: D. N. Zmejev N. N. Levchenko

Source: Informacionnye Tehnologii. 29:529-539

Autotuning Parallel Programs by Model Checking

Authors: N. O. Garanina S. P. Gorlatch

Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 338-355 (2021)

Subject Terms: counterexamples, gpu programming, opencl, 0211 other engineering and technologies, parallel programs, Information technology, 02 engineering and technology, spin, T58.5-58.64, model checking, promela, 0202 electrical engineering, electronic engineering, information engineering, optimization problem, auto-tuning of parallel programs

Access URL: https://www.mais-journal.ru/jour/article/download/1564/1194
https://doaj.org/article/5bf3d49d330d42d486cae9e867a365b0

A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

Authors: Andrew M. Mironov

Source: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 394-412 (2021)

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, mpi, parallel programs, Information technology, 02 engineering and technology, verification, T58.5-58.64, distributed processes

Access URL: https://www.mais-journal.ru/jour/article/download/1567/1197
https://doaj.org/article/8a93874d247d4295a75229eedaa6dd28

Formalized design and synthesis of parallel programs for videographic shortcuts

Access URL: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/751