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

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

В разделе "Программные средства"
Modern server ARM processors for supercomputers: A64FX and others. Initial data of benchmarks
Устойчивая алгоритмическая привязка к произвольному участку кода программы
Robust algorithmic binding to arbitrary fragment of program code
Современные серверные ARM-процессоры для суперЭВM: A64FX и другие. Начальные данные тестов производительности
Автоматическое конструирование высокопроизводительных параллельных программ для задач разреженной линейной алгебры в системе LUNA
Автоматизация отладки и балансировки нагрузки во фрагментированных программах
Разработка подсистемы автоматизированного применения алгоритмов динамической балансировки нагрузки для системы LUNA
Эффективная фрагментированная реализация краевой задачи фильтрации двухфазной жидкости
Применение тензорного подхода к программной реализации клеточно-автоматной модели потока
Мультиагентный подход к повышению эффективности исполнения фрагментированных программ в системе Luna
Complex computer applications and techniques for solving problems with the inherent errors and synthesis of optimal characteristics of materials and design parameters
Программные механизмы поиска, сравнения и копирования объектов системы автоматизированного проектирования бортового программного обеспечения космических аппаратов
Эмулятор PCI Express для HDL-моделирования
Автоматизированное преобразование фортран-программ, необходимое для их эффективного распараллеливания с помощью системы Сапфор
Распараллеливание тестов NAS NPB для сопроцессора Intel Xeon Phi на языке Fortran-DVMH
Анализ исполнения фрагментированных программ на основе факторов Slow
Выполнение распределенных вычислительных экспериментов на MLOps платформе НИУ ВШЭ
Концепция и технология параллельного программирования неоднородных систем на кристалле
Инструментальное средство автоматизации создания приложений баз данных на основе декларативных спецификаций
Технология использования метаописаний для формирования хранилищ данных и анализа многомерных данных
Методы и средства визуализации информации на основе атрибутированных иерархических графов с портами
Задачи и эволюция микросервисной архитектуры
Повышение эффективности команды разработки с использованием метода agile-maturity
Methods and tools for information visualization on the basis of attributed hierarchical graphs with ports
Интеграция мультимедийных компонентов в модели лечебно-диагностического процесса пациентов и клинико-диагностические задачи по кардиологии
Modeliranje informacionih sistema
Оценка антропологического воздействия интерфейсов на этапе проектирования программно-аппаратного обеспечения
Разработка средства оптимизации встраиваемого по на базе автонастройки перестановкой оптимизационных проходов современного компилятора GCC
Модель описания многоуровневых сетевых топологий для хранения и анализа динамической маршрутной информации
Оптимизация размера кода при сохранении времени выполнения посредством упорядочивания оптимизационных проходов уровня функций в компиляторе GCC
Kernelgen - прототип распараллеливающего компилятора C/Fortran для GPU NVIDIA на основе технологий LLVM
Статически-детерминированный метод прогнозирования динамических характеристик параллельных программ
Применение Dynamic SQL при рефакторинге хранимых процедур СУБД Sybase в крупной страховой компании
Sintaksička analiza kao centralna faza u radu kompilatora
«Эффективность» нитей в многопроцессорных системах с общей памятью
Инструмент нелинейного дизайна объектов
Методический подход к оценке количества необнаруженных дефектов естественной семантики программы с требуемой степенью доверия при верификации программного обеспечения бортовых цифровых вычислительных комплексов космических аппаратов
Формальная верификация параллельных программ
Разработка веб сайта спортивного комплекса EREM города Ош
Искусственный интеллект с использованием Python: технологии и применение