Пошук академічних текстів

Інформація × Реєстраційний номер 0307U007734, 0106U011585 , Науково-дослідна робота Назва роботи Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем. Назва етапу роботи Верифікація маштабовних розподілених програм для багатопроцесорних та кластерних систем. Керівник роботи Летичевський О.А., Дата реєстрації 07-11-2007 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАН України Опис етапу Досліджені проблеми, повязані з розробкою методів верифікації розподілених програм що маштабуються для багатопроцесорних та кластерних систем. Для цього розроблена формалізація протоколів на базі бібліотеки MPI2 та побудовано ряд прикладів верифікації програм що маштабуються з використанням цієї формалізації. Підготовлено публікацію. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити