↓ Skip to main content

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Overview of attention for book
Cover of 'Recent Advances in Parallel Virtual Machine and Message Passing Interface'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The X-Scale Challenge
  3. Altmetric Badge
    Chapter 2 Sustained Petascale: The Next MPI Challenge
  4. Altmetric Badge
    Chapter 3 MPI: Past, Present and Future
  5. Altmetric Badge
    Chapter 4 New and Old Tools and Programming Models for High-Performance Computing
  6. Altmetric Badge
    Chapter 5 The TSUBAME Cluster Experience a Year Later, and onto Petascale TSUBAME 2.0
  7. Altmetric Badge
    Chapter 6 To Infinity and Beyond?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming
  8. Altmetric Badge
    Chapter 7 Using MPI-2: A Problem-Based Approach
  9. Altmetric Badge
    Chapter 8 Verifying Parallel Programs with MPI-Spin
  10. Altmetric Badge
    Chapter 9 Advanced MPI Programming
  11. Altmetric Badge
    Chapter 10 Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees
  12. Altmetric Badge
    Chapter 11 Process Cooperation in Multiple Message Broadcast
  13. Altmetric Badge
    Chapter 12 Self-consistent MPI Performance Requirements
  14. Altmetric Badge
    Chapter 13 Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE
  15. Altmetric Badge
    Chapter 14 An Improved Parallel XSL-FO Rendering for Personalized Documents
  16. Altmetric Badge
    Chapter 15 An Extensible Framework for Distributed Testing of MPI Implementations
  17. Altmetric Badge
    Chapter 16 A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions
  18. Altmetric Badge
    Chapter 17 Multithreaded Tomographic Reconstruction
  19. Altmetric Badge
    Chapter 18 Parallelizing Dense Linear Algebra Operations with Task Queues in llc
  20. Altmetric Badge
    Chapter 19 ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer
  21. Altmetric Badge
    Chapter 20 Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L
  22. Altmetric Badge
    Chapter 21 (Sync|Async)  +  MPI Search Engines
  23. Altmetric Badge
    Chapter 22 A Case for Standard Non-blocking Collective Operations
  24. Altmetric Badge
    Chapter 23 Optimization of Collective Communications in HeteroMPI
  25. Altmetric Badge
    Chapter 24 Low Cost Self-healing in MPI Applications
  26. Altmetric Badge
    Chapter 25 Fault Tolerant File Models for MPI-IO Parallel File Systems
  27. Altmetric Badge
    Chapter 26 An Evaluation of Open MPI’s Matching Transport Layer on the Cray XT
  28. Altmetric Badge
    Chapter 27 Improving Reactivity and Communication Overlap in MPI Using a Generic I/O Manager
  29. Altmetric Badge
    Chapter 28 Investigations on InfiniBand: Efficient Network Buffer Utilization at Scale
  30. Altmetric Badge
    Chapter 29 Improving MPI Support for Applications on Hierarchically Distributed Resources
  31. Altmetric Badge
    Chapter 30 MetaLoRaS: A Re-scheduling and Prediction MetaScheduler for Non-dedicated Multiclusters
  32. Altmetric Badge
    Chapter 31 Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes
  33. Altmetric Badge
    Chapter 32 Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement
  34. Altmetric Badge
    Chapter 33 Extending the MPI-2 Generalized Request Interface
  35. Altmetric Badge
    Chapter 34 Transparent Log-Based Data Storage in MPI-IO Applications
  36. Altmetric Badge
    Chapter 35 Analysis of Implementation Options for MPI-2 One-Sided
  37. Altmetric Badge
    Chapter 36 MPI-2 One-Sided Usage and Implementation for Read Modify Write Operations: A Case Study with HPCC
  38. Altmetric Badge
    Chapter 37 RDMA in the SiCortex Cluster Systems
  39. Altmetric Badge
    Chapter 38 Revealing the Performance of MPI RMA Implementations
  40. Altmetric Badge
    Chapter 39 Distributed Real-Time Computing with Harness
  41. Altmetric Badge
    Chapter 40 Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM
  42. Altmetric Badge
    Chapter 41 Recent Advances in Parallel Virtual Machine and Message Passing Interface
  43. Altmetric Badge
    Chapter 42 Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically
  44. Altmetric Badge
    Chapter 43 Timestamp Synchronization for Event Traces of Large-Scale Message-Passing Applications
  45. Altmetric Badge
    Chapter 44 Verification of Halting Properties for MPI Programs Using Nonblocking Operations
  46. Altmetric Badge
    Chapter 45 Correctness Debugging of Message Passing Programs Using Model Verification Techniques
  47. Altmetric Badge
    Chapter 46 Practical Model-Checking Method for Verifying Correctness of MPI Programs
  48. Altmetric Badge
    Chapter 47 6 th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments New Directions and Work-in-Progress ParSim 2007
  49. Altmetric Badge
    Chapter 48 Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming
  50. Altmetric Badge
    Chapter 49 Automatic Parallelization of Object Oriented Models Executed with Inline Solvers
  51. Altmetric Badge
    Chapter 50 3D Parallel Elastodynamic Modeling of Large Subduction Earthquakes
  52. Altmetric Badge
    Chapter 51 Virtual Parallel Machines Through Virtualization: Impact on MPI Executions
  53. Altmetric Badge
    Chapter 52 Seshat Collects MPI Traces: Extended Abstract
  54. Altmetric Badge
    Chapter 53 Dynamic Optimization of Load Balance in MPI Broadcast
  55. Altmetric Badge
    Chapter 54 An Empirical Study of Optimization in Seamless Remote MPI-I/O for Long Latency Network
  56. Altmetric Badge
    Chapter 55 Multithreaded and Distributed Simulation of Large Biological Neuronal Networks
  57. Altmetric Badge
    Chapter 56 Grid Services for MPI
Attention for Chapter 44: Verification of Halting Properties for MPI Programs Using Nonblocking Operations
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verification of Halting Properties for MPI Programs Using Nonblocking Operations
Chapter number 44
Book title
Recent Advances in Parallel Virtual Machine and Message Passing Interface
Published by
Springer, Berlin, Heidelberg, September 2007
DOI 10.1007/978-3-540-75416-9_44
Book ISBNs
978-3-54-075415-2, 978-3-54-075416-9
Authors

Stephen F. Siegel, George S. Avrunin, Siegel, Stephen F., Avrunin, George S.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Researcher 2 40%
Lecturer 1 20%
Readers by discipline Count As %
Computer Science 5 100%