07732nam 22008295 450 991076817160332120200701091217.03-540-75416-410.1007/978-3-540-75416-9(CKB)1000000000490912(SSID)ssj0000319765(PQKBManifestationID)11252076(PQKBTitleCode)TC0000319765(PQKBWorkID)10338881(PQKB)10785048(DE-He213)978-3-540-75416-9(MiAaPQ)EBC3063400(MiAaPQ)EBC6280969(PPN)123165458(EXLCZ)99100000000049091220100301d2007 u| 0engurnn#008mamaatxtccrRecent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings /edited by Franck Capello, Thomas Herault, Jack Dongarra1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XVI, 398 p.)Programming and Software Engineering ;4757Bibliographic Level Mode of Issuance: Monograph3-540-75415-6 Includes bibliographical references and index.Invited 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.Programming and Software Engineering ;4757Architecture, ComputerComputer programmingProgramming languages (Electronic computers)ComputersNumerical analysisArithmetic and logic units, ComputerComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XArithmetic and Logic Structureshttps://scigraph.springernature.com/ontologies/product-market-codes/I12026Architecture, Computer.Computer programming.Programming languages (Electronic computers).Computers.Numerical analysis.Arithmetic and logic units, Computer.Computer System Implementation.Programming Techniques.Programming Languages, Compilers, Interpreters.Computation by Abstract Devices.Numeric Computing.Arithmetic and Logic Structures.004.6Capello Franckedthttp://id.loc.gov/vocabulary/relators/edtHerault Thomasedthttp://id.loc.gov/vocabulary/relators/edtDongarra Jackedthttp://id.loc.gov/vocabulary/relators/edtEuropean PVM/MPI Users' Group MeetingMiAaPQMiAaPQMiAaPQBOOK9910768171603321Recent Advances in Parallel Virtual Machine and Message Passing Interface772306UNINA