Search academic texts

Information × Registration Number 0411U001502, Candidate dissertation Status к.ф.-м.н. Date 25-02-2011 popup.evolution o Title Models and facilities for programming of efficient parallel computations based on rewriting rules technique Author Zhereb Kostiantyn Anatolijovych, popup.head Doroshenko Anatoliy Yukhymovych popup.opponent Летичевський Олександр Адольфович popup.opponent Завадський Ігор Олександрович Description Дисертація присвячена розробці моделей і засобів, заснованих на техніці переписувальних правил, для автоматизованого проектування високоефективних обчислень для сучасних паралельних платформ. Побудовано алгебро-динамічні моделі структури програм та виконання програм для мультипоточної та відеографічної платформ. На основі побудованих моделей описані перетворення програм з метою переходу від послідовної до паралельної програми, а також підвищення ефективності паралельних програм за часом виконання. Описано використання побудованих моделей для доведення коректності перетворень. При цьому використовуються властивості програм: еквівалентність, безконфліктність, безтупиковість та достатні умови, що забезпечують виконання цих властивостей для певних класів програм. Створено програмний інструментарій на основі техніки переписувальних правил, який може бути використано для автоматизації застосування перетворень, побудови високорівневих моделей програм за початковим текстом програми, перевірки властивостей програм. Розроблені моделі та засоби апробовано на конкретних обчислювальних задачах, при цьому досягнуто суттєве підвищення продуктивності. Registration Date 2011-02-25 popup.nrat_date 2020-04-04 Close