An approach to the parallel algorithms synthesis
Formal approachfor automatic synthesis of parallel algorithms is proposed. An extension of the theory of computational models for automaticprograms synthesis of the class of parallel is described. Both completeness and correctness of the suggested extension are proved.
Download file
Counter downloads: 438
Keywords
Authors
| Name | Organization | |
| Malackhov А.V. | Tomsk State University | antonym@inbox.ru |
| Novoseltsev V.B. | Tomsk State University | vbn@osu.cctpu.edu.ru |
References
