Parallel asynchronous computation of the values of an associative function

This paper shows an application of a formal approach to parallel program design. The basic model is related to temporal logics. We summarize the concepts of a relational model of parallelism in the introduction. The main part is devoted to the problem of synthesizing a solution for the problem of pa...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Horváth Zoltán
Dokumentumtípus: Cikk
Megjelent: 1995
Sorozat:Acta cybernetica 12 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12544
Leíró adatok
Tartalmi kivonat:This paper shows an application of a formal approach to parallel program design. The basic model is related to temporal logics. We summarize the concepts of a relational model of parallelism in the introduction. The main part is devoted to the problem of synthesizing a solution for the problem of parallel asynchronous computation of the values of an associative function. The result is a programming theorem, which is wide applicable for different problems. The abstract program is easy to implement effectively on several architectures. The applicability of results is investigated for parallel architectures such as for hypercubes and transputer networks.
Terjedelem/Fizikai jellemzők:83-94
ISSN:0324-721X