Search for places for creation of consistent checkpoints in parallel programs by analyzing the program trace

DOI10.3103/S0278641907030089zbMath1186.68117OpenAlexW2079791993MaRDI QIDQ1037119

I. V. Mashechkin, A. A. Smirnov

Publication date: 13 November 2009

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0278641907030089

zbMATH Keywords

nondeterministic programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Search for places for creation of consistent checkpoints in parallel programs by analyzing the program trace