• DocumentCode
    3231928
  • Title

    A temporal model for fault-tolerant parallel programs

  • Author

    Slimani, Y. ; Majdoub, L.

  • Author_Institution
    Dept. Inf., Campus Univ. Tunis, Tunisia
  • fYear
    1997
  • fDate
    29-31 Oct 1997
  • Firstpage
    304
  • Lastpage
    309
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
  • Conference_Location
    Tunis
  • ISSN
    1071-0485
  • Print_ISBN
    0-8186-8153-5
  • Type

    conf

  • DOI
    10.1109/FTDCS.1997.644742
  • Filename
    644742
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3231928