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

Інформація × Реєстраційний номер 0411U001502, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 25-02-2011 Статус Запланована Назва роботи Моделі та засоби програмування ефективних паралельних обчислень на основі техніки переписувальних правил Здобувач Жереб Костянтин Анатолійович, Керівник Дорошенко Анатолій Юхимович Опонент Летичевський Олександр Адольфович Опонент Завадський Ігор Олександрович Опис Дисертація присвячена розробці моделей і засобів, заснованих на техніці переписувальних правил, для автоматизованого проектування високоефективних обчислень для сучасних паралельних платформ. Побудовано алгебро-динамічні моделі структури програм та виконання програм для мультипоточної та відеографічної платформ. На основі побудованих моделей описані перетворення програм з метою переходу від послідовної до паралельної програми, а також підвищення ефективності паралельних програм за часом виконання. Описано використання побудованих моделей для доведення коректності перетворень. При цьому використовуються властивості програм: еквівалентність, безконфліктність, безтупиковість та достатні умови, що забезпечують виконання цих властивостей для певних класів програм. Створено програмний інструментарій на основі техніки переписувальних правил, який може бути використано для автоматизації застосування перетворень, побудови високорівневих моделей програм за початковим текстом програми, перевірки властивостей програм. Розроблені моделі та засоби апробовано на конкретних обчислювальних задачах, при цьому досягнуто суттєве підвищення продуктивності. Дата реєстрації 2011-02-25 Додано в НРАТ 2020-04-04 Закрити