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

Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах

Запропоновано методологію проєктування застосунків для систем із масовим паралелізмом на прикладі GPGPU-систем, орієнтовану на алгоритмічний етап проєктування. Розглянуто два етапи проєктування: створення формальної специфікації та її дослідження і верифікація. Для першого етапу запропоновано викори...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Математичні моделі і методи аналізу комп’ютерних мереж керування електропостачанням залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

Математичні диференційні моделі і методи оцінки кібербезпеки інтелектуальних комп’ютерних мереж керування технологічними процесами електропостачання залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

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

Разбиение множества векторов с целыми координатами логическими аппаратными средствами
за авторством: Крывый, С.Л., та інші
Опубліковано: (2019)

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

Проверка случайности расположения битов в локальных участках (0, 1)-последовательности
за авторством: Масол, В.И., та інші
Опубліковано: (2020)

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

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

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

Інформаційна модель ціноутворення на електронних ринках
за авторством: Саженюк, В.С., та інші
Опубліковано: (2020)

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

Хаотичні архітектури — новий напрямок розвитку обчислювальної техніки
за авторством: Палагін, О.В., та інші
Опубліковано: (2020)

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

Индексные структуры для быстрого поиска по сходству вещественных векторов. I
за авторством: Рачковский, Д.А.
Опубліковано: (2018)

Расширение метаязыка нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2020)

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

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

Быстрый поиск сходных графов по расстоянию редактирования
за авторством: Рачковский, Д.А.
Опубліковано: (2019)

Задачи, методы и алгоритмы в моделях физических основ элементов оптических компьютеров
за авторством: Старков, В.Н., та інші
Опубліковано: (2019)

Индексные структуры для быстрого поиска по сходству бинарных векторов
за авторством: Рачковский, Д.А.
Опубліковано: (2017)

Основанные на расстояниях индексные структуры для быстрого поиска по сходству
за авторством: Рачковский, Д.А.
Опубліковано: (2017)

Метод построения запоминающих устройств со сверхвысокой плотностью записи информации
за авторством: Ходаковский, Н.И.
Опубліковано: (2019)

Технологія блокчейн: питання аналізу та синтезу
за авторством: Кудін, А.М., та інші
Опубліковано: (2019)

Новые модели и методы определения стойкости систем защиты информации
за авторством: Задирака, В.К., та інші
Опубліковано: (2017)

Огляд методів та технологій інформетрії
за авторством: Главчева, Ю.М., та інші
Опубліковано: (2019)

Метод локализации нулей аналитических функций на основе оператора Кравчика
за авторством: Семенов, В.Ю., та інші
Опубліковано: (2019)

Диференційні математичні моделі для дослідження комп’ютерної архітектури всережимної системи керування дистанцією електропостачання залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2017)

Протокол агрегованого підпису з Лідером групи
за авторством: Козіна, Г.Л., та інші
Опубліковано: (2021)

Стеганоаналіз J-UNIWARD
за авторством: Кошкіна, Н.В.
Опубліковано: (2021)

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

Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків
за авторством: Глибовець, М.М., та інші
Опубліковано: (2015)

МЕТОДОЛОГІЯ ПРОЄКТУВАННЯ ІНФОРМАЦІЙНО-АНАЛІТИЧНИХ СИСТЕМ АДМІНІСТРАТИВНОГО УПРАВЛІННЯ
за авторством: TROFYMCHUK, O., та інші
Опубліковано: (2022)

Ігрова модель взаємодії користувачів у гетерогенних розподілених середовищах
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2015)

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

Модифицированный метод анализа иерархий
за авторством: Згуровский, М.З., та інші
Опубліковано: (2010)

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

Угрозы безопасности мегаполиса, когнитивное моделирование
за авторством: Авдеева, З.К., та інші
Опубліковано: (2014)

Засоби координації агентів у пошукових архітектурах Web
за авторством: Андон, П.І., та інші
Опубліковано: (2004)

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

Открыто-замкнутые основания сред интеграции. Часть I
за авторством: Редько, И.В.
Опубліковано: (2010)