1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Оптимизация итрансформацияфункционально-потоковых параллельныхпрограмм :специальность "" Васильев Владимир Сергеевич2023 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Оптимизация и трансформация функционально-потоковых параллельных программ : специальность "" : диссертация на соискание ученой степени кандидат технических наук / В. С. Васильев ; ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ". - , 2023. - 166 с. - .
Аннотация: Цель: повышение эффективности выполнения функционально-потоковых параллельных программ.?Объект исследования: функционально-потоковая парадигма параллельного программирования (ФПП).?Применены: теория графов, теория алгоритмов, методы объектно-ориентированного проектирования и программирования.?Работа посвящена решению актуальной проблемы обеспечения более эффективного исполнения программ и рационального использования ресурсов вычислительной системы.?Разработанные методы оптимизации и трансформации ФПП программ обеспечивают ускорение вычислений, сокращают необходимый для этого объем памяти, обеспечивает более эффективное их выполнение на существующих вычислительных системах.?Предложенные в работе методы и алгоритмы вносят вклад в развитие архитектурно-независимого параллельного программирования. Созданы инструменты оптимизации кода программ ФПП языка программирования Пифагор. Область применения результатов — задачи, решаемые посредством ФПП языков программирования.
Год издания: 2023
Авторы: Васильев Владимир Сергеевич
Авторский коллектив: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
Количество страниц: 166
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

МЕТОДЫ ИИНСТРУМЕНТАЛЬНЫЕСРЕДСТВА ФОРМАЛЬНОЙВЕРИФИКАЦИИФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Ушакова Мария Сергеевна2022 год

МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ…

  • Ушакова Мария Сергеевна
  • 2022 год
Оптимизация итрансформацияфункционально-потоковых параллельныхпрограмм Васильев Владимир Сергеевич2022 год

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

  • Васильев Владимир Сергеевич
  • 2022 год
Оптимизация итрансформацияфункционально-потоковых параллельныхпрограмм Васильев Владимир Сергеевич2022 год

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

  • Васильев Владимир Сергеевич
  • 2022 год
Оптимизация общихподвыражений вфункционально-потоковых параллельныхпрограммах Васильев В.С.2022 год

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

  • Васильев В.С.
  • 2022 год
ВНУТРЕННИЕПРЕДСТАВЛЕНИЯ ВСИСТЕМЕ ОПТИМИЗАЦИИФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Васильев В.С.Непомнящий О.В.2022 год

ВНУТРЕННИЕ ПРЕДСТАВЛЕНИЯ В СИСТЕМЕ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

  • Васильев В.С. и др.
  • 2022 год
Методы иинструментальныесредства формальнойверификациифункционально-потоковых параллельныхпрограмм Ушакова Мария Сергеевна2022 год

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных…

  • Ушакова Мария Сергеевна
  • 2022 год
Поддержка статическойтипизации вфункционально-потоковой моделипараллельныхвычислений Легалов А.И.Чуйкин Н.К.2023 год

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

  • Легалов А.И. и др.
  • 2023 год
Отладка и верификацияфункционально-потоковых параллельныхпрограмм Удалова Юлия Васильевна2015 год

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

  • Удалова Юлия Васильевна
  • 2015 год

Показать ещё

МОДУЛЬНОЕТЕСТИРОВАНИЕФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Дудинков Данил МихайловичВасильев Владимир Сергеевич2024 год

МОДУЛЬНОЕ ТЕСТИРОВАНИЕ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

  • Дудинков Данил Михайлович и др.
  • 2024 год
Верификация идоказательствозавершенияфункционально-потоковых параллельныхпрограмм Удалова Ю.В.Ушакова М.С.2017 год

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

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

Методы отладки и верификации функционально-потоковых параллельных программ

  • Удалова Ю. В. и др.
  • 2011 год
Трансформацияфункционально-потоковых параллельныхпрограмм вимперативные Васильев Владимир СергеевичЛегалов Александр ИвановичЗыков Сергей Викторович2021 год

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

  • Васильев Владимир Сергеевич и др.
  • 2021 год
ИСПОЛЬЗОВАНИЕ СИСТЕМЫОПТИМИЗАЦИИФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Васильев В.С.2021 год

ИСПОЛЬЗОВАНИЕ СИСТЕМЫ ОПТИМИЗАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

  • Васильев В.С.
  • 2021 год
Инструментальнаяподдержка создания итрансформациифункционально-потоковых параллельныхпрограмм Легалов А.И.Васильев В.С.Матковский И.В.2017 год

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

  • Легалов А.И. и др.
  • 2017 год
Оптимизация графовпотока управления впромежуточныхпредставлениях языкафункционально-потокового параллельного… Васильев Владимир СергеевичЛегалов Александр Иванович2020 год

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

  • Васильев Владимир Сергеевич и др.
  • 2020 год
Методы иинструментальныесредства формальнойверификациифункционально-потоковых параллельныхпрограмм Ушакова Мария Сергеевна2021 год

Методы и инструментальные средства формальной верификации функционально-потоковых параллельных…

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