Search academic texts

Registration Number

0307U007734, 0106U011585 , R & D reports

Title

To develop verification methods of scalable distributed programs for multiprocessor and cluster systems.

popup.stage_title

Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем.

Head

Letichevsky A.A.,

Registration Date

07-11-2007

Organization

V.M.Glushkov Institute of Cybernetics of NASU

popup.description2

The problems connected with the verification methods of scalable distributed programs for multiprocessor and cluster systems have been considered. For this purpose formalization of protocols based on library MPI2 have been developed., a set of examples of verification of scalable programs on a base of this information have been constructed, and a scientific publication is prepared.563556355635

Product Description

popup.authors

popup.nrat_date

2020-04-02