Modern parallel programs run in a complex, resource-limited environment, and this raises the new requirements for resource consumption and execution stability of long running processes. In order to help with checking ...

In the article the authors present the architecture of a hardware CIL processor, which is capable to execute CIL instructions as native code. The CIL hardware engine is implemented on the top of the low-power DSP architecture, ...

Most models of human hemodynamics describe only a small part of physiological mechanisms that directly or indirectly alter activities of the heart pump and vascular tones. Therefore, a very narrow range of tasks related ...

У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...

Запропоновано алгеброалгоритмічний підхід до автоматизованого проектування та генерації програм для графічних прискорювачів. Особливість підходу полягає у використанні високорівневих специфікацій, поданих в алгебрі алгоритмів, ...

Подальший прогрес у покращенні показників якості створення паралельних програм пов'язаний з використанням гетерогенних архітектур обчислювальних систем. Неоднорідні паралельні системи включають у себе, зокрема, гібридні ...

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

Рассматривается алгоритм определения изоморфизма XML-схем. Демонстрируется его применение в целях оптимизации памяти, выделяемой для хранения XML-документов, путем исключения XML-документов, XML-схемы которых изоморфны ...

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

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