Title :
A temporal model for fault-tolerant parallel programs
Author :
Slimani, Y. ; Majdoub, L.
Author_Institution :
Dept. Inf., Campus Univ. Tunis, Tunisia
Abstract :
The authors present the technical issues of a temporal model for fault-tolerant parallel programs. They present successively the formal aspects of this temporal model, and an algorithm that they have developed to detect errors in parallel programs running on a parallel architecture with shared memory. A simple example is given to illustrate the model and the algorithm
Keywords :
parallel algorithms; parallel architectures; parallel programming; shared memory systems; software fault tolerance; algorithm; error detection; fault-tolerant parallel programs; formal aspects; parallel architecture; shared memory; temporal model; Fault tolerance; Fault tolerant systems; Logic; Predictive models; Reactive power; Vocabulary;
Conference_Titel :
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Tunis
Print_ISBN :
0-8186-8153-5
DOI :
10.1109/FTDCS.1997.644742
