Buchumschlag

Алгебро-динамические модели для распараллеливания программ

Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники переписывающих правил для доказательства корректности преобразований и повышения...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
ISSN:	1727-4907
Hauptverfasser:	Дорошенко, А.Е., Жереб, К.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2010
Schlagworte:	Моделі та засоби паралельних і розподілених програм
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/6593
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгебро-динамические модели для распараллеливания программ / А.Е. Дорошенко, К.А. Жереб // Пробл. програмув. — 2010. — № 1. — С. 39-55. — Бібліогр.: 19 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Средства сервисно-ориентированного программирования параллельных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Средства платформы apache hadoop для параллельных и распределенных вычислени
von: Рухлис, К.А., et al.
Veröffentlicht: (2010)

Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2013)

Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2013)

К вопросу о производительности распределенных хранилищ объектов данных в памяти ОЗУ
von: Рухлис, К.А., et al.
Veröffentlicht: (2015)

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Мультиасемблерна мова програмування
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

Паралельна розподілена система для аналізу потокових даних соціальних мереж
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Паралельна розподілена реалізація модуля керування робочими процесами для системи підтримки операцій оператора зв’язку
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Розробка сервісно-орієнтованих засобів для запуску паралельних програм на мультипроцесорному кластері
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2014)

Високопродуктивний пакетний добуток матриць афінних перетворень за допомогою Android NDK та JNI
von: Ашур, І.З., et al.
Veröffentlicht: (2018)

Фреймворк для розробки високорівневих Grid-застосувань
von: Пріла, О.А.
Veröffentlicht: (2014)

До створення Інтернет-порталу надання послуг метеорологічного прогнозування на мультипроцесорній платформі
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Створення методики проектування застосувань для програмно-апаратної платформи CUDA
von: Погорілий, С.Д., et al.
Veröffentlicht: (2013)

Використання мереж Петрі для проектування паралельних застосувань
von: Погорілий, С.Д., et al.
Veröffentlicht: (2013)

Особенности реализации средств трансформационного синтеза параллельных алгоритмов
von: Мохница, А.С., et al.
Veröffentlicht: (2009)

Метод управління дворівневим сховищем віртуалізованого центру обробки даних
von: Жаріков, Е.В.
Veröffentlicht: (2018)

Керування ресурсами хмарних центрів обробки даних на основі евристичного пошуку
von: Жаріков, Е.В.
Veröffentlicht: (2017)

Параллельные алгоритмы выполнения массовых вычислений в нейронных сетях
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах
von: Ігнатенко, О.П., et al.
Veröffentlicht: (2015)

Підхід до реалізації інтерфейсів кластерних систем
von: Мар’яновський, В.А., et al.
Veröffentlicht: (2009)

Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів
von: Єршов, С.В., et al.
Veröffentlicht: (2017)

Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків
von: Глибовець, М.М., et al.
Veröffentlicht: (2015)

Средства синтеза параллельных mpi-программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Верификация программ: состояние, проблемы, экспериментальные результаты. II
von: Максимец, А.Н.
Veröffentlicht: (2014)

Верификация программ: состояние, проблемы, экспериментальные результаты. I
von: Максимец, А.Н.
Veröffentlicht: (2013)

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

Подход к структурному тестированию программ с использованием генетического алгоритма
von: Слабоспицкая, О.А., et al.
Veröffentlicht: (2012)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Формализованное проектирование эффективных многопоточных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2015)

Алгоритмы распараллеливания математической модели лесных пожаров на суперкомпьютерах и теоретические оценки эффективности параллельных программ
von: Барановский, Н.В.
Veröffentlicht: (2015)

Представление графического интерфейса пользователя для тестирования программ
von: Пригожев, А.С.
Veröffentlicht: (2010)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
von: Яценко, Е.А.
Veröffentlicht: (2011)

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2012)

Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
von: Павлов, В.Л., et al.
Veröffentlicht: (2008)