Dynamic Verification of MPI Programs With Reductions in Presence of Split Operations and Relaxed Orderings

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-70545-1_9
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Algorithmic Verification of Procedural Programs in the Presence of Code Variability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Performance Analysis of MPI Collective Operations

English

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

ACM SIGPLAN Notices
Computer Science
2012English

A Composition Environment for MPI Programs

International Journal of High Performance Computing Applications
HardwareTheoretical Computer ScienceArchitectureSoftware
2007English

Just in Time Dynamic Voltage Scaling: Exploiting Inter-Node Slack to Save Energy in MPI Programs

English

Relaxed and Hybrid Viscosity Methods for General System of Variational Inequalities With Split Feasibility Problem Constraint

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2013English

Predicting Robustness Against Transient Faults of MPI Based Programs

International Journal of Computational Science and Engineering
Computational TheorySimulationHardwareArchitectureComputational MathematicsMathematicsModelingSoftware
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy