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

Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств

Розглянуто розвиток алгеброалгоритмічного інструментарію для конструювання паралельних алгоритмів на основі спільного використання алгеброалгоритмічної методології специфікації і розробки програм та неалгоритмічних (евристичних) методів генерації коду. Евристичною частиною системи є динамічне налашт...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автори:	Дорошенко, А.Е., Котюк, Н.В., Николаев, С.С., Цейтлин, Г.Е., Яценко, Е.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Программно-технические комплексы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45251
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств / А.Е. Дорошенко, Н.В. Котюк, С.С. Николаев, Г.Е. Цейтлин, Е.А. Яценко // Кибернетика и системный анализ. — 2010. — № 4. — С. 151-158. — Бібліогр.: 9 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

Элементы алгебраической алгоритмики и объектно-ориентированный синтез параллельных программ
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2003)

Измерение производительности параллельных компьютеров с распределенной памятью
за авторством: Ющенко, Р.А.
Опубліковано: (2009)

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е.
Опубліковано: (2008)

Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
за авторством: Андон, Ф.И., та інші
Опубліковано: (2011)

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

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

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

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

Как понять программу. Характеристический анализ современных подходов к пецификации программ
за авторством: Бабенко, Л.П.
Опубліковано: (2012)

Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2011)

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

Экологические аспекты представления знаний средствами алгебры алгоритмики
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2010)

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

Современное состояние теории мультимножеств с сущностной точки зрения
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

Математическое моделирование геометрических фракталов с помощью R-функций
за авторством: Максименко-Шейко, К.В., та інші
Опубліковано: (2012)

О распространении вероятностей в нечетких байесовских сетях с недетерминированными состояниями
за авторством: Верёвка, О.В., та інші
Опубліковано: (2008)

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

Метод прогнозирования положения энергетического центра изображения лазерного пучка с использованием параллельно-иерархической сети
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2013)

Метод построения простого целочисленного косинусного преобразования большой размерности для кодирования изображений и видео с высоким разрешением
за авторством: Гнатив, Л.А.
Опубліковано: (2016)

Развитие отечественной технологии программирования
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

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

Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
за авторством: Слободян, Я.Е.
Опубліковано: (2009)

Теория и практика фабрик программных продуктов
за авторством: Лаврищева, Е.М.
Опубліковано: (2011)

Использование искусственных нейронных сетей для классификации черно-белых изображений
за авторством: Борисов, Е.С.
Опубліковано: (2008)

Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
за авторством: Лаврищева, Е.М.
Опубліковано: (2013)

Формальные основы интероперабельности компонентов в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

Изоморфные трансформации эллиптической кривой над конечным полем
за авторством: Чевардин, В.Е.
Опубліковано: (2013)

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

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

Подход к экспертному оцениванию в программной инженерии
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2009)

Технология формирования гибридных документов
за авторством: Иванов, А.И., та інші
Опубліковано: (2014)

Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
за авторством: Марценюк, В.П., та інші
Опубліковано: (2015)

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

Онтологический подход к спецификации свойств программных систем и их компонентов
за авторством: Бабенко, Л.П.
Опубліковано: (2009)

Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
за авторством: Иванчук, М.А., та інші
Опубліковано: (2015)

Синтез адаптивных логических сетей на основе полинома Жегалкина
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2015)

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