A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-33296-8_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1995English

Deadlock Detection for Actor-Based Coroutines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

D-Finder: A Tool for Compositional Deadlock Detection and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Runtime Support for Irregular Computation in MPI-Based Applications

2015English

Solving Two Deadlock Cycles Through Neighbor Replication on Grid Deadlock Detection Model

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2012English

Static Deadlock Detection for the SHIM Concurrent Language

2008English

Efficient Automated Marshaling of C++ Data Structures for MPI Applications

2008 IEEE International Symposium on Parallel and Distributed Processing
2008English

A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing
MathematicsSimulationHardwareComputer Science ApplicationsArchitectureModelingComputational TheorySoftware
2014English

Sound Power Level Determination for Turbine‐generator Sets

Journal of the Acoustical Society of America
AcousticsUltrasonicsArtsHumanities
1976English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy