Программные средства - 004.4

Научные статьи

В разделе "Программные средства"
Жеіл автомобильдерді жріс блігіні аауларыны себептерін анытау бойынша осымшаны зірлеу
Обзор мобильных приложений по программированию в образовательном процессе в вузе
Автоматическая генерация тестов для GFX-offload компилятора Intel
Инкрементальные расширения потоково-локальной сборки мусора
Разработка языка анализа телеметрической информации
Цветные сети Петри и язык распределенного программирования UPL: их сравнение и перевод
Новое поколение GPGPU и сопутствующего оборудования: микроархитектура и производительность вычислительных систем от серверов до суперкомпьютеров
Методика статического анализа для поиска дефектов естественной семантики программных объектов и ее программная реализация на базе инфраструктуры компилятора LLVM и фронтенда Clang
Оценка эффективности статического анализа для поиска дефектов естественной семантики программных объектов
Проблематика использования текстовых DSL в информационных системах
Возможности использования онтологии предметной области для определения семантической модели DSL
Программирование графических процессов при помощи расширяемых языков
Использование языка Fortran DVMH для решения задач гидродинамики на высокопроизводительных гибридных вычислительных системах
Отображение на кластеры с графическими процессорами DVMH-программ с регулярными зависимостями по данным
Автоматическое отображение программ на языке Фортран на кластеры с графическими процессорами
Средства программирования реконфигурируемых вычислительных систем на основе ПЛИС Virtex-7 с использованием софт-архитектур
Современные и перспективные высокопроизводительные вычислительные системы с реконфигурируемой архитектурой
Verification of Kolmogorov equation usability for reproduction and death processes
Ресурсонезависимое описание информационных графов с дистрибутивными операциями на языке программирования SET@L
Работа с данными в учебном языке программирования Синхро