Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models
S Saad, E Fadel, O Alzamzami, F Eassa… - IEEE …, 2025 - ieeexplore.ieee.org
The recent surge in high-performance computing (HPC) demands, particularly with the
advent of Exascale supercomputers, has highlighted the need for robust parallel systems …
advent of Exascale supercomputers, has highlighted the need for robust parallel systems …
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
Today, various applications in different domains increasingly rely on high-performance
computing (HPC) to accomplish computations swiftly. Integrating one or more programming …
computing (HPC) to accomplish computations swiftly. Integrating one or more programming …
Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs.
Abstract The Message Passing Interface (MPI) is a widely accepted standard for parallel
computing on distributed memory systems. However, MPI implementations can contain …
computing on distributed memory systems. However, MPI implementations can contain …