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

Отладка и верификация функционально-потоковых параллельных программ : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей ""
диссертация

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Отладка и верификация функционально-потоковых параллельных программ : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей "" : диссертация на соискание ученой степени кандидат технических наук / Ю. В. Удалова ; Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет». - , 2015. - 170 с. - .
Аннотация: Цель: разработка методов и инструментальных средств, обеспечивающих отладку и верификацию функционально-потоковых параллельных (ФПП) программ. Поставленные задачи решались с использованием методов доказательства теорем, методов проверки моделей, элементов теории графов и интервального анализа. Разработаны комплекс методов отладки ФПП-программ, базирующийся на различных принципах выбора шага отладки на информационном графе, а также методы верификации ФПП-программ, использующие комбинаторный анализ, информационные графы и интервальные константы. Предложена оригинальная инструментальная среда для отладки и верификации ФПП-программ, используемая при выполнении научно-методических проектов и в учебном процессе СФУ. Результаты исследования рекомендуются использовать в учреждениях, занимающихся разработкой языков и методов функционального и параллельного программирования.
Год издания: 2015
Авторы: Удалова Юлия Васильевна
Авторский коллектив: Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет»
Количество страниц: 170
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

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

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

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

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

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

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

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

  • Васильев Владимир Сергеевич
  • 2023 год
Верификацияфункционально-потоковых параллельныхпрограмм с помощьюинтервальных формул Удалова Юлия Васильевна2016 год

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

  • Удалова Юлия Васильевна
  • 2016 год
ВЕРИФИКАЦИЯФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ МЕТОДОМИНДУКТИВНЫХУТВЕРЖДЕНИЙ Удалова Юлия ВасильевнаЛегалов Александр Иванович2014 год

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

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

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

  • Удалова Ю.В. и др.
  • 2017 год
Методы отладки иверификациифункционально-потоковых параллельныхпрограмм Удалова Ю.В.Легалов А.И.Сиротинина Н.Ю.2011 год

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

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

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

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

Показать ещё

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

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

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

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

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

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

  • Васильев В.С.
  • 2021 год
ИНСТРУМЕНТАЛЬНАЯПОДДЕРЖКА ФОРМАЛЬНОЙВЕРИФИКАЦИИ ПРОГРАММ,НАПИСАННЫХ НА ЯЗЫКЕФУНКЦИОНАЛЬНО-ПОТОКОВОГО… Ушакова Мария СергеевнаЛегалов Александр Иванович2015 год

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

  • Ушакова Мария Сергеевна и др.
  • 2015 год
ОТЛАДКА ПРОГРАММ НАФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕПИФАГОР СПОДСТАНОВКОЙИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ Удалова Ю.В.Легалов А.И.Сиротинина Н.Ю.2013 год

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

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

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

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

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

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

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

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