Computational model for scalable cluster systems

Korochkin A.V., Berezovsky A.N.

In paper the problem of creation of effective program components for scalable cluster systems based on models of computation is considered. Models of computation based on C.Hoare theory of communicating sequential processes are presented. Use models of computation for improving software and reduction design time is showed.

Full text (pdf)