A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

This paper presents an algorithm that transforms an SS serial-model program to an equivalent SS program that runs concurrently in an asynchronous shared memory parallel computing environment. Timestamps are used to guarantee mutually exclusive execution of guarded commands among neighbor processes....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Information processing letters Jg. 66; H. 6; S. 285 - 290
Hauptverfasser:	Mizuno, Masaaki, Nesterenko, Mikhail
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 30.06.1998 Elsevier Science Elsevier Sequoia S.A
Schlagworte:	Algorithmics. Computability. Computer arithmetics Algorithms Applied sciences Computer science; control theory; systems Concurrency Exact sciences and technology Fault tolerance Information processing Parallel algorithms Self-stabilization Studies Theoretical computing Self-stabilization Fault tolerance Concurrency Parallel algorithms Fault tolerant computer systems Computational complexity
ISSN:	0020-0190, 1872-6119
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!