Search academic texts

Registration Number

0406U000896, Candidate dissertation

Status

к.ф.-м.н., 01.05.03, Математичне та програмне забезпечення обчислювальних машин і систем

Date

24-02-2006

popup.evolution

o

Title

Automatic system of pararalelizing sequential programs for parallel computers with distributed memory

Author

Borysov Yevgen Sergijovych,

popup.head Kapitonova J.V.
popup.opponent Клименко Віталій Петрович
popup.opponent Гороховський Семен Самуїлович

Description

Робота присвячена проблемі розпаралелювання послідовних програм. Основним результатом цієї роботи є алгебраїчна модель, що описує підхід до створення систем розпаралелювання, якій гарантує коректність перетворень. Сформульована та вирішена проблема розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю. Побудовані: алгебраїчна модель послідовної програми з використанням алгебродинамічного підходу, заснованого на алгебрі алгоритмів Глушкова; алгебраїчна модель паралельної програми для паралельних обчислювачів з розподіленою пам'яттю; відображення послідовної програми в паралельну, яке визначається дискретною динамічною системою. Показано коректність перетворення послідовної програми у паралельну. Доведена дедуктивна еквівалентність моделей послідовної та паралельної програм. Відповідно до побудованої математичної моделі реалізована система автоматизованого розпаралелювання.

popup.nrat_date

2020-04-04