Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings
This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009. The 27 papers presented were carefully reviewed and sele...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2009, 2009
|
Edition: | 1st ed. 2009 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- CoMPI: Enhancing MPI Based Applications Performance and Scalability Using Run-Time Compression
- A Memory-Efficient Data Redistribution Algorithm
- Impact of Node Level Caching in MPI Job Launch Mechanisms
- Programming Paradigms and Collective Operations
- Towards Efficient MapReduce Using MPI
- Process Arrival Pattern and Shared Memory Aware Alltoall on InfiniBand
- Verification of MPI Programs
- How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations
- Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism
- Bringing Reverse Debugging to HPC
- ParSim
- 8th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments
- A Parallel Simulator for Mercury (Hg) Porosimetry
- Dynamic Load Balancing Strategies for Hierarchical p-FEM Solvers
- Simulation of Primary Breakup for Diesel Spray with Phase Transition
- Posters Abstracts
- Implementing Reliable Data Structures for MPI Services in High Component Count Systems
- Parallel Dynamic Data Driven Genetic Algorithm for Forest Fire Prediction
- Hierarchical Collectives in MPICH2
- An MPI-1 Compliant Thread-Based Implementation
- Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract)
- Invited Talks (Abstracts)
- Real-Time Message Compression in Software
- The MPI 2.2 Standard and the Emerging MPI 3 Standard
- MPI at Exascale: Challenges for Data Structures and Algorithms
- Model-Based Optimization of MPI Collective Operations for Computational Clusters
- Using MPI to Implement Scalable Libraries
- Formal Verification for Scientific Computing: Trends and Progress
- Tutorial
- Practical Formal Verification of MPI and Thread Programs
- Outstanding Papers
- The Design of Seamless MPI Computing Environment for Commodity-Based Clusters
- MPI on a Million Processors
- Scalable Detection of MPI-2 Remote Memory Access Inefficiency Patterns
- Processing MPI Datatypes Outside MPI
- Applications
- Fine-Grained Data Distribution Operations for Particle Codes
- Experiences Running a Parallel Answer Set Solver on Blue Gene
- Fault Tolerance
- Challenges and Issues of the Integration of RADIC into Open MPI
- In-Memory Checkpointing for MPI Programs by XOR-Based Double-Erasure Codes
- Library Internals
- MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption
- Towards an Efficient Process Placement Policy for MPI Applications in Multicore Environments
- Dynamic Communicators in MPI
- VolpexMPI: An MPI Library for Execution of Parallel Applications on Volatile Nodes
- MPI I/O
- Using Non-blocking I/O Operations in High Performance Computing to Reduce Execution Times
- Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity
- Exploiting Efficient Transpacking for One-Sided Communication and MPI-IO
- Multiple-Level MPI File Write-Back and Prefetching for Blue Gene Systems
- OpenMP
- Performance Evaluation of MPI, UPC and OpenMP on Multicore Architectures
- Automatic Hybrid MPI+OpenMP Code Generation with llc
- Performance
- Optimizing MPI Runtime Parameter Settings by Using Machine Learning