@inproceedings{cabb16c54f284da7b0e68dde13c3a7d1,
title = "Efficient robust parallel computations.",
abstract = "A parallel computing system becomes increasingly prone to failure as the number of processing elements in it increases. In this paper, we describe a completely general strategy that takes an arbitrary step of an ideal CRCW PRAM and automatically translates it to run efficiently and robustly on a PRAM in which processors are prone to failure. The strategy relies on efficient robust algorithms for solving a core problem, the Certified Write-All Problem. This problem characterizes the core of robustness, because, as we show, its complexity is equal to that of any general strategy for realizing robustness in the model. We analyze the expected parallel time and work of various algorithms for solving this problem. Our results are a non-trivial generalization of R.P. Brent's Lemma. We consider the case where the number of the available processors decreases dynamically over time, whereas Brent's Lemma is only applicable in the case where the processor availability pattern is static.",
author = "Kedem, {Zvi M.} and Palem, {Krishna V.} and Spirakis, {Paul G.}",
year = "1990",
doi = "10.1145/100216.100231",
language = "English (US)",
isbn = "0897913612",
series = "Proc 22nd Annu ACM Symp Theory Comput",
publisher = "Publ by ACM",
pages = "138--148",
booktitle = "Proc 22nd Annu ACM Symp Theory Comput",
note = "Proceedings of the 22nd Annual ACM Symposium on Theory of Computing ; Conference date: 14-05-1990 Through 16-05-1990",
}