Search academic texts

Information × Registration Number 0406U000896, Candidate dissertation Status к.ф.-м.н. 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 Робота присвячена проблемі розпаралелювання послідовних програм. Основним результатом цієї роботи є алгебраїчна модель, що описує підхід до створення систем розпаралелювання, якій гарантує коректність перетворень. Сформульована та вирішена проблема розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю. Побудовані: алгебраїчна модель послідовної програми з використанням алгебродинамічного підходу, заснованого на алгебрі алгоритмів Глушкова; алгебраїчна модель паралельної програми для паралельних обчислювачів з розподіленою пам'яттю; відображення послідовної програми в паралельну, яке визначається дискретною динамічною системою. Показано коректність перетворення послідовної програми у паралельну. Доведена дедуктивна еквівалентність моделей послідовної та паралельної програм. Відповідно до побудованої математичної моделі реалізована система автоматизованого розпаралелювання. Registration Date 2006-02-24 popup.nrat_date 2020-04-04 Close