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

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

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