Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2007
Автори:	Дорошенко, А.Е., Жереб, К.А., Яценко, Е.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2007
Теми:	Паралельне програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/277
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формализованное проектирование эффективных многопоточных программ / А.Е. Дорошенко, К.А. Жереб, Е.А. Яценко // Пробл. програмув. — 2007. — N 1. — С. 17-30. — Библиогр.: 10 назв. — рус.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Об оценке сложности и координации вычислений в многопоточных программах
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)

Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)

Модели и средства программирования Грид-систем
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)

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

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

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

Средства оптимизации Grid-вычислений на основе globus toolkit
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

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

Распределённая платформа для управления ресурсами гетерогенного кластера
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Проектирование инструментария сетевого программного продукта. Современное состояние и перспективы развития
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2010)

Підходи до паралелізації алгоритму Йєна для систем із спільною пам’яттю
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2011)

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

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)

Проектирование и экономическое обоснование эффективных технологий выращивания винограда
за авторством: Маслич, Е.А.
Опубліковано: (2012)

Алгебро-динамические модели для распараллеливания программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2010)

Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)

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

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

Автоматизована розробка паралельної розподіленої системи обробки потокових даних
за авторством: Тітов, Д.С., та інші
Опубліковано: (2016)

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

Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2018)

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

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

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

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

Автоматизоване розпаралелювання програми моделювання внутрішньочастинкової дифузії й абсорбції в неоднорідних нанопористих середовищах
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2022)

Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

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

Використання відеографічних прискорювачів для паралельних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2008)

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

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

Системные аспекты проектирования гарантоспособных облачных вычислений
за авторством: Косовец, Н.А., та інші
Опубліковано: (2018)

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

Оценка времени обработки данных в кластерных системах
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2006)

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

Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)

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