Поддержка статической типизации в функционально-потоковой модели параллельных вычислений : доклад, тезисы доклада

Легалов А.И.; Чуйкин Н.К.

Дополнительные ссылки: eLibrary · Источник статьи

База данных: Каталог библиотеки СФУ

Библиографическое описание: Поддержка статической типизации в функционально-потоковой модели параллельных вычислений : доклад, тезисы доклада / А. И. Легалов, Н. К. Чуйкин. - [Б. м. : б. и.], 2023. - Текст : непосредственный // Параллельные вычислительные технологии (ПаВТ'2023) : Короткие статьи и описания плакатов. Материалы XVII всероссийской научной конференции с международным участием / Параллельные вычислительные технологии (ПаВТ'2023) (2023 ; 28.03 - 30.03 ; Санкт-Петербург). - Челябинск : Издательский центр ЮУрГУ, 2023. - С. 173-185. - ISBN 9785696053585.

Аннотация: Рассматриваются особенности статически типизированной модели функционально-потоковых параллельных вычислений. Для обеспечения поддержки архитектурно-независимого параллельного программирования используются функциональный стиль, неявное задание управления вычислениями по готовности данных, структурированные объекты данных, ориентированные на поддержку различных видов параллелизма. При этом параллельное программирование рассматривается с позиций предметно-ориентированного подхода.

Год издания: 2023

Авторы: Легалов А.И. , Чуйкин Н.К.

Издательство: Издательский центр ЮУрГУ, Челябинск

Номера страниц: 173-185

Держатель оригинала документа: Национальный исследовательский университет «Высшая Школа Экономики»

Мероприятие: Параллельные вычислительные технологии (ПаВТ'2023) (Санкт-Петербург, 2023 ; 28.03 - 30.03)

Количество экземпляров:

Твёрдая копия издания отсутствует в фонде библиотеки

Показать дополнительные сведения

Статически типизированная версия языка функционально-потокового параллельного программирования : доклад, тезисы доклада

Легалов А.И. и др.
2020 год

Проектирование комбинационных схем на функционально-потоковом параллельном языке… : доклад, тезисы доклада

Романова Дарья
2022 год

МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ… : специальность ""

Ушакова Мария Сергеевна
2022 год

Оптимизация общих подвыражений в функционально-потоковых параллельных программах : доклад, тезисы доклада

Васильев В.С.
2022 год

Оптимизация и трансформация функционально-потоковых параллельных программ : специальность ""

Васильев Владимир Сергеевич
2023 год

ВНУТРЕННИЕ ПРЕДСТАВЛЕНИЯ В СИСТЕМЕ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада

Васильев В.С. и др.
2022 год

МОДУЛЬНОЕ ТЕСТИРОВАНИЕ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада

Дудинков Данил Михайлович и др.
2024 год

АЛГОРИТМЫ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ : научное издание

Романова Д.С. и др.
2023 год

Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание

Легалов А.И. и др.
2017 год

Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание

Легалов Александр Иванович и др.
2020 год

ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИ ПРОГРАММИРОВАНИЯ : научное издание

Романова Д.С. и др.
2022 год

Верификация и доказательство завершения функционально-потоковых параллельных программ : доклад, тезисы доклада

Удалова Ю.В. и др.
2017 год

Архитектура распределенной системы для потоковых вычислений с контейнеризацией и приоритизацией… : статья из журнала

Соколов Александр Михайлович и др.
2023 год

Особенности семантики статически типизированного языка функционально-потокового параллельного… : научное издание

Легалов А.И. и др.
2019 год

Особенности создания параллельных программ в потоковой парадигме программирования : статья из журнала

Змеев Д. Н. и др.
2022 год

Трансформация функционально-потоковых параллельных программ в императивные : научное издание

Васильев Владимир Сергеевич и др.
2021 год

Библиотечно-издательский комплекс СФУ

Похожие публикации