000 07786nam a22005295i 4500
001 978-3-540-75416-9
003 DE-He213
005 20201213201314.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540754169
_9978-3-540-75416-9
024 7 _a10.1007/978-3-540-75416-9
_2doi
050 4 _aQA76.6-76.66
072 7 _aUM
_2bicssc
072 7 _aCOM051000
_2bisacsh
082 0 4 _a005.11
_223
100 1 _aCappello, Franck.
_eeditor.
245 1 0 _aRecent Advances in Parallel Virtual Machine and Message Passing Interface
_h[electronic resource] :
_b14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings /
_cedited by Franck Cappello, Thomas Herault, Jack Dongarra.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _aXVI, 396 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4757
505 0 _aInvited Talks -- The X-Scale Challenge -- Sustained Petascale: The Next MPI Challenge -- MPI: Past, Present and Future -- New and Old Tools and Programming Models for High-Performance Computing -- The TSUBAME Cluster Experience a Year Later, and onto Petascale TSUBAME 2.0 -- To Infinity and Beyond?! On Scaling Performance Measurement and Analysis Tools for Parallel Programming -- Tutorials -- Using MPI-2: A Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming -- Outstanding Papers -- Full Bandwidth Broadcast, Reduction and Scan with Only Two Trees -- Process Cooperation in Multiple Message Broadcast -- Self-consistent MPI Performance Requirements -- Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE -- Applications -- An Improved Parallel XSL-FO Rendering for Personalized Documents -- An Extensible Framework for Distributed Testing of MPI Implementations -- A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions -- Multithreaded Tomographic Reconstruction -- Parallelizing Dense Linear Algebra Operations with Task Queues in llc -- ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer -- Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L -- (Sync|Async)?+? MPI Search Engines -- Collective Operations -- A Case for Standard Non-blocking Collective Operations -- Optimization of Collective Communications in HeteroMPI -- Fault Tolerance -- Low Cost Self-healing in MPI Applications -- Fault Tolerant File Models for MPI-IO Parallel File Systems -- Library Internals -- An Evaluation of Open MPI’s Matching Transport Layer on the Cray XT -- Improving Reactivity and Communication Overlap in MPI Using a Generic I/O Manager -- Investigations on InfiniBand: Efficient Network Buffer Utilization at Scale -- Message Passing on Hierarchical Machines and Grids -- Improving MPI Support for Applications on Hierarchically Distributed Resources -- MetaLoRaS: A Re-scheduling and Prediction MetaScheduler for Non-dedicated Multiclusters -- Using CMT in SCTP-Based MPI to Exploit Multiple Interfaces in Cluster Nodes -- MPI-I/O -- Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement -- Extending the MPI-2 Generalized Request Interface -- Transparent Log-Based Data Storage in MPI-IO Applications -- One-Sided -- Analysis of Implementation Options for MPI-2 One-Sided -- MPI-2 One-Sided Usage and Implementation for Read Modify Write Operations: A Case Study with HPCC -- RDMA in the SiCortex Cluster Systems -- Revealing the Performance of MPI RMA Implementations -- PVM and Harness -- Distributed Real-Time Computing with Harness -- Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM -- Tools -- Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging -- Extended MPICC to Generate MPI Derived Datatypes from C Datatypes Automatically -- Timestamp Synchronization for Event Traces of Large-Scale Message-Passing Applications -- Verification of Message Passing Programs -- Verification of Halting Properties for MPI Programs Using Nonblocking Operations -- Correctness Debugging of Message Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying Correctness of MPI Programs -- ParSim -- 6th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments New Directions and Work-in-Progress ParSim 2007 -- Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming -- Automatic Parallelization of Object Oriented Models Executed with Inline Solvers -- 3D Parallel Elastodynamic Modeling of Large Subduction Earthquakes -- Posters Abstracts -- Virtual Parallel Machines Through Virtualization: Impact on MPI Executions -- Seshat Collects MPI Traces: Extended Abstract -- Dynamic Optimization of Load Balance in MPI Broadcast -- An Empirical Study of Optimization in Seamless Remote MPI-I/O for Long Latency Network -- Multithreaded and Distributed Simulation of Large Biological Neuronal Networks -- Grid Services for MPI.
520 _aThirteen years after the publication of the ?rst MPI (message passing interface) speci?cationand17yearsafterthe?rstpublishedpaperonPVM(parallelvirtual machine), MPI and PVM have emerged as standard programmingenvironments and continue to be the development environment of choice for a large variety of applications, hardware platforms, and usage scenarios. There are many reasons behind this success and one of them is certainly the strength of its community. EuroPVM/MPIisa?agshipconferenceforthiscommunity,establishedasthe premier international forum for researchers, users, and vendors to present their latest advances in MPI and PVM. EuroPVM/MPI is the forum where fun- mental aspects of message passing, implementations, standards, benchmarking, performance, and new techniques are presented and discussed by researchers, developers and users from academia and industry. EuroPVM/MPI 2007 was organized by INRIA in Paris, September 29 to October 3, 2007. This was the 14th issue of the conference, which takes place each year at a di?erent Europeanlocation. Previousmeetings were held in Bonn (2006), Sorrento (2005), Budapest (2004), Venice (2003), Linz (2002), Santorini (2001),Balatonfu ¨red(2000),Barcelona(1999),Liverpool(1998),Krakow(1997), Munich (1996), Lyon (1995), and Rome (1994). The main topics of the meeting were collective operations,one-sided com- nication, parallel applications using the message passing paradigm, MPI st- dard extensions or evolution, fault tolerance, formal veri?cation of MPI p- cesses, MPI-I/O, performance evaluation, and hierarchical infrastructures (p- allel computers and Grids).
650 0 _aComputer science.
650 0 _aElectronic data processing.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Techniques.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aNumeric Computing.
650 2 4 _aArithmetic and Logic Structures.
650 2 4 _aProcessor Architectures.
700 1 _aHerault, Thomas.
_eeditor.
700 1 _aDongarra, Jack.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540754152
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4757
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-75416-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
950 _aComputer Science (Springer-11645)
999 _c15265
_d15265