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

• Date: 2007
• Main Authors: Дорошенко, А.Е., Жереб, К.А., Яценко, Е.А.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2007
• Subjects: Паралельне програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/277
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Формализованное проектирование эффективных многопоточных программ / А.Е. Дорошенко, К.А. Жереб, Е.А. Яценко // Пробл. програмув. — 2007. — N 1. — С. 17-30. — Библиогр.: 10 назв. — рус.

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