Structured parallel programs ought to be conceived as two separate and complementary
entities: computation, which expresses the calculations in a procedural manner, and …

Message Passing Interface (MPI) is a well-known standard for programming distributed and
HPC systems. While the community has been continuously improving MPI to address the …

As high-performance computing enters the mainstream, parallel programming mechanisms
(including the Message Passing Interface, or MPI) must be supported in new environments …

We compare two packages for performing manytask computing (MTC) in Python: IPython
Parallel and Celery. We describe these packages in detail and compare their features as …

Negative Bias Temperature Instability (NBTI) is a serious reliability issue for pMOS
transistors. Normally, degradation due to NBTI is modeled based on test structure data or …

We present an automated approach for marshaling C++ data structures in high performance
computing (HPC) applications. Our approach utilizes a graphical editor through which the …

We give a new algorithm for quantifier elimination in the first order theory of real closed fields
that improves the complexity of the best known algorithm for this problem till now. Unlike …

The Message Passing Interface (MPI) provides bindings for the three programming
languages commonly used in High Performance Computing (HPC): C, C++ and Fortran …

Halo exchange patterns are very common in scientific computing, since the solution of PDEs
often requires communication between neighbor points. Although this is a common pattern …

Exascale applications are being increasingly written in modern languages such as Python,
Julia, C++, and Rust. The Message-Passing Interface (MPI), the de facto standard for …