Buchumschlag

Формализованное проектирование эффективных многопоточных программ

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2007
Hauptverfasser:	Дорошенко, А.Е., Жереб, К.А., Яценко, Е.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2007
Schlagworte:	Паралельне програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/277
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:	Формализованное проектирование эффективных многопоточных программ / А.Е. Дорошенко, К.А. Жереб, Е.А. Яценко // Пробл. програмув. — 2007. — N 1. — С. 17-30. — Библиогр.: 10 назв. — рус.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Об оценке сложности и координации вычислений в многопоточных программах
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2007)

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

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)

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

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

Підвищення продуктивності коду мовою РYТНОN з використанням техніки переписувальних правил
von: Жереб, К.А.
Veröffentlicht: (2020)

Средства оптимизации Grid-вычислений на основе globus toolkit
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

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

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

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

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

Проектирование инструментария сетевого программного продукта. Современное состояние и перспективы развития
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2010)

Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
von: Березовський, К.А., et al.
Veröffentlicht: (2010)

Підходи до паралелізації алгоритму Йєна для систем із спільною пам’яттю
von: Погорілий, С.Д., et al.
Veröffentlicht: (2011)

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

Проектирование и экономическое обоснование эффективных технологий выращивания винограда
von: Маслич, Е.А.
Veröffentlicht: (2012)

Алгебро-динамические модели для распараллеливания программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2010)

Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
von: Яценко, Е.А.
Veröffentlicht: (2013)

Формирование эффективных механизмов регулирования туризма на основе целевых программ
von: Лебедев, К.А.
Veröffentlicht: (2014)

Автоматизована розробка паралельної розподіленої системи обробки потокових даних
von: Тітов, Д.С., et al.
Veröffentlicht: (2016)

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

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
von: Лукьянова, Е.А.
Veröffentlicht: (2014)

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

Протоколи для інтеграції мобільних пристроїв із станціями надання послуг через бездротовий зв’язок
von: Яценко, К.І.
Veröffentlicht: (2008)

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

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

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

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

Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища
von: Іваненко, П.А., et al.
Veröffentlicht: (2010)

Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде
von: Назаренко, А.М., et al.
Veröffentlicht: (2014)

Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності
von: Насиров, Е.М.
Veröffentlicht: (2014)

Оценка времени обработки данных в кластерных системах
von: Тульчинский, В.Г., et al.
Veröffentlicht: (2006)

Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения
von: Панченко, Б.Е., et al.
Veröffentlicht: (2014)

Инструментальные средства трансформации схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2006)

Оптимизация обработки больших масcивов данных в кластерных системах
von: Назаренко, Е.В., et al.
Veröffentlicht: (2010)

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

Сетевые журнальные файловые системы на основе серверов реляционных баз данных
von: Гаврилюк, А.Б., et al.
Veröffentlicht: (2006)

Некоторые подходы к эффективной реализации блочных матричных алгоритмов на MIMD – компьютерах
von: Баранов, И.А.
Veröffentlicht: (2008)

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

Система управления кластером для комплексов семейства «ИНПАРКОМ»
von: Ющенко, Р.А.
Veröffentlicht: (2010)