Search academic texts

Information × 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 Close