A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis

A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these postulates, and a rigorous proof that any algorithm or system stipulated by the postulates is captured by the abstract m...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 649; S. 25 - 53
Hauptverfasser:	Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 11.10.2016
Schlagworte:	Abstract machines Abstract state machine Algorithms ASM thesis Behavioural Behavioural theory Exploration Grounds Mathematical analysis Mathematical models Parallel algorithm Synchronous Parallel algorithm Behavioural theory ASM thesis Abstract state machine
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!