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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 649; s. 25 - 53
Hlavní autoři:	Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 11.10.2016
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!