Results 211 to 220 of about 36,099 (265)
Beyond Episodic Testing: Toward Ambient Monitoring in Heart Failure.
CardiologyHiraiwa H, Okumura T, Murohara T.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, 2015
This paper presents MPI-Checker, a static analysis checker to verify the correct usage of the MPI API in C and C++ code, based on Clang's Static Analyzer. The checker works with path-sensitive as well as with non-path-sensitive analysis which is purely based on information provided by the abstract syntax tree representation of source code.
Alexander Droste +2 more
openaire +1 more source
This paper presents MPI-Checker, a static analysis checker to verify the correct usage of the MPI API in C and C++ code, based on Clang's Static Analyzer. The checker works with path-sensitive as well as with non-path-sensitive analysis which is purely based on information provided by the abstract syntax tree representation of source code.
Alexander Droste +2 more
openaire +1 more source
MPI Correctness Checking for OpenMP/MPI Applications
International Journal of Parallel Programming, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tobias Hilbrich +2 more
openaire +2 more sources
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, 2020
Message passing is the primary programming paradigm in high-performance computing. However, developing message passing programs is challenging due to the non-determinism caused by parallel execution and complex programming features such as non-deterministic communications and asynchrony. We present MPI-SV, a symbolic verifier for verifying the parallel
Zhenbang Chen +3 more
openaire +1 more source
Message passing is the primary programming paradigm in high-performance computing. However, developing message passing programs is challenging due to the non-determinism caused by parallel execution and complex programming features such as non-deterministic communications and asynchrony. We present MPI-SV, a symbolic verifier for verifying the parallel
Zhenbang Chen +3 more
openaire +1 more source
MPI-NeTSim: A Network Simulation Module for MPI
2009 15th International Conference on Parallel and Distributed Systems, 2009Programs that execute in parallel across a network often use the Message Passing Interface (MPI) library for communication. The network requirements of an MPI program are often unclear because of the difficulty in exploring alternative network configurations as well as obtaining packet level information about the communication.
Brad Penoff +3 more
openaire +1 more source
Open MPI: A High-Performance, Heterogeneous MPI
2006 IEEE International Conference on Cluster Computing, 2006The growth in the number of generally available, distributed, heterogeneous computing systems places increasing importance on the development of user-friendly tools that enable application developers to efficiently use these resources. Open MPI provides support for several aspects of heterogeneity within a single, open-source MPI implementation ...
Richard L. Graham +5 more
openaire +1 more source
MPI-DDL: A distributed-data library for MPI
Future Generation Computer Systems, 1997Abstract The Message-Passing Interface (MPI) defines a de facto standard for writing message-passing programs. However, MPI operates at a rather low level in the sense that a programmer regards a message as a programming unit. We present a new point of view. In our approach, a programmer regards distributed data as a programming unit.
Niandong Fang, Helmar Burkhart
openaire +1 more source
2002
This tutorial will cover parallel programming with the MPI message passing interface, with special attention paid to the issues that arise in a computational grid environment. After a summary of MPI programming, we will address the issue of process management, first in a single administrative domain and the then across multiple administrative domains ...
William Gropp, Ewing L. Lusk
openaire +1 more source
This tutorial will cover parallel programming with the MPI message passing interface, with special attention paid to the issues that arise in a computational grid environment. After a summary of MPI programming, we will address the issue of process management, first in a single administrative domain and the then across multiple administrative domains ...
William Gropp, Ewing L. Lusk
openaire +1 more source
MPI to Go: Container Clusters for MPI Applications
2020Container-based virtualization has been investigated as an attractive solution to achieve isolation, flexibility and efficiency in a wide range of computational applications. In High Performance Computing, many applications rely on clusters to run multiple communicating processes using MPI (Message Passing Interface) communication protocol.
Luiz Angelo Steffenel +4 more
openaire +1 more source