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

Інформація × Реєстраційний номер 0212U002626, 0107U003570 , Науково-дослідна робота Назва роботи Розробити методи інтелектуалізації інформаційних технологій для оптимізації паралельних обчислень і верифікації дедуктивними методами паралельних програм, що масштабуються. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 13-01-2012 Організація виконавець Iнститут кібернетики ім. В. М. Глушкова НАНУ Опис етапу Розроблено математичні моделі та ефективні засоби дослідження паралельно-конвеєрних схем та алгоритми верифiкацiї паралельних програм, які не залежать від кількості породжуваних ними процесів і призначені для розв'язання задач у середовищі розподілених багатопроцесорних кластерних комплексів. Розроблена загальна теорія побудови специфікацій та вимог до розподілених систем на основі інсерційного моделювання із застосуванням базових протоколів. Розроблено алгоритми оптимізації паралельних обчислень. Опис продукції Розробленопаралельно-конвеєрні схеми обчислень, які практично застосовані для розв'язання задач трансобчислювальної складності. Розроблено методи побудови специфікацій вимог до розподілених систем на основі інсерційного моделювання із застосуванням базових протоколів.Розроблені та програмно реалізовані алгоритми верифікації паралельних розподілених програмних систем. Автори роботи Єлфімова Л.Д. Білодід О.О. Борисов Є.С. Волков В.А. Герман В.М. Гречко А.В. Довбиш В.Я. Каленчук-Порханова А.А. Капітонова Ю.В. Коломієць А.В. Колчін О.В. Крижановський В.В. Летичевський О,О. Марьянович О.Т. Матвєєва Л.Є. Мороховець М.К. Назаренко Е.В. Панченко Б.Е. Потієнко С.В. Тульчинський В.Г. Тульчинський П.Г. Фальфушинський В.В. Феліжанко О.Д. Щоголева Н.М. Ющенко А.К. Ющенко Р.А. Яковлев В.М. Додано в НРАТ 2020-04-02 Закрити