1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Программа дляоптимизациифункционально-потокового языкапараллельногопрограммирования Васильев Владимир СергеевичЛегалов Александр ИвановичМатковский Иван Васильевич2018 год

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

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Программа для оптимизации функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ / В. С. Васильев [и др.] ; патентообладатель Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет» (СФУ). - № 2018663789 ; Заявл. 03.12.2018. - [Б. м. : б. и.], 2018. - Б. ц. - Текст : непосредственный.
Аннотация: Программа позволяет применять к программе на языке Пифагор следующие методы: удаление неиспользуемого кода, оптимизация на основе эквивалентных преобразований, inline-подстановка, оптимизация повторяющихся подвыражений, оптимизация инварианта в рекурсивных вычислениях и выражениях над параллельными списками. Все преобразования выполняются над реверсивным информационным графом программы. Программа оформлена в виде консольной утилиты.
Год издания: 2018
Авторы: Васильев Владимир Сергеевич, Легалов Александр Иванович, Матковский Иван Васильевич, Непомнящий Олег Владимирович
Авторский коллектив: Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет» (СФУ)
Держатель оригинала документа: Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет» (СФУ)
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

Программа длятрансляциифункционально-потокового языкапараллельногопрограммирования Матковский Иван ВасильевичЛегалов Александр ИвановичВасильев Владимир Сергеевич2018 год

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

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

Программа для интерпретации функционально-потокового языка параллельного… : регистрация программы для ЭВМ

  • Матковский Иван Васильевич и др.
  • 2018 год
Программныйинтерпретаторфункционально-потокового языкапараллельногопрограммирования Легалов Александр ИвановичМатковский Иван Васильевич2020 год

Программный интерпретатор функционально-потокового языка параллельного программирования : регистрация программы для ЭВМ

  • Легалов Александр Иванович и др.
  • 2020 год
Программа дляформированияуправляющего графадляфункционально-потокового языкапараллельногопрограммирования Матковский Иван ВасильевичЛегалов Александр ИвановичВасильев Владимир Сергеевич2018 год

Программа для формирования управляющего графа для функционально-потокового языка… : регистрация программы для ЭВМ

  • Матковский Иван Васильевич и др.
  • 2018 год
Программныйтранслятор статическитипизированногофункционально-потокового языкапараллельногопрограммирования Легалов Александр ИвановичМатковский Иван ВасильевичЛегалов Игорь Александрович2020 год

Программный транслятор статически типизированного функционально-потокового языка… : регистрация программы для ЭВМ

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

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

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

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

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

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

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

Показать ещё

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

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

  • Легалов А.И. и др.
  • 2020 год
Особенности семантикистатическитипизированного языкафункционально-потокового параллельногопрограммирования Легалов А.И.Легалов И.А.Матковский И.В.2019 год

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

  • Легалов А.И. и др.
  • 2019 год
Добавлениестатической типизациив языкфункционально-потокового параллельногопрограммирования Легалов Александр ИвановичЛегалов Игорь АлександровичМатковский Иван Васильевич2020 год

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

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

Функциональное программирование на языке Haskell

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

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

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

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

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

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

  • Васильев В.С.
  • 2021 год
БИБЛИОТЕКАМАТЕМАТИЧЕСКИХФУНКЦИЙ ДЛЯ ЯЗЫКАФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯПИФАГОР Удалова Юлия Васильевна2019 год

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

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