1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Техника и технологии
  5. Выпуск 2011 г. Том 4. № 2

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

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (У 281)
Библиографическое описание: Удалова, Ю. В. Методы отладки и верификации функционально-потоковых параллельных программ = Debug and Verification of Function-Stream Parallel Programs / Ю. В. Удалова, А. И. Легалов, Н. Ю. Сиротинина. - Текст : непосредственный // Журнал Сибирского федерального университета. Техника и технологии. - 2011. - Т. 4, № 2. - С. 213-224. - Библиогр.: с. 223-224. - ISSN 1999-494X.
Аннотация: В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе, поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это позволяет проанализировать корректность разрабатываемых программ без построения специализированных промежуточных моделей.
Год издания: 2011
Авторы: Удалова Ю. В. , Легалов А. И. , Сиротинина Н. Ю.
Источник: Журнал Сибирского федерального университета. Техника и технологии
Выпуск: Т. 4, № 2
Номера страниц: 213-224
Количество экземпляров:

Всего свободно 4 из 4 экземпляров.

  • Читальный зал Б307 (пр. Свободный, 79, к. Б3-07): свободно 1 из 1 экземпляров
  • Отдел формирования информационно-библиотечных ресурсов (пр. Свободный, 79, к. Б2-20): свободно 1 из 1 экземпляров
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров
  • Читальный зал военных наук (Академгородок, 13а, 1 этаж): свободно 1 из 1 экземпляров

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

High-Level Design Flows for VLSI CircuiT

  • Nepomnyashchy O. V. и др.
  • 2014 год

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

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

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

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

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

  • Полякова М. А. и др.
  • 2025 год
Динамический контрольцелостностивычислительногопроцесса впараллельнойпотоковойвычислительнойсистеме Левченко Н. Н.Змеев Д. Н.2021 год

Динамический контроль целостности вычислительного процесса в параллельной потоковой…

  • Левченко Н. Н. и др.
  • 2021 год
Метод и алгоритмструктурного анализадостижимости узлов всетях потоков работ Родионов А. Н.2018 год

Метод и алгоритм структурного анализа достижимости узлов в сетях потоков работ

  • Родионов А. Н.
  • 2018 год
Эмуляцияаппаратно-программныхсредств параллельнойпотоковойвычислительнойсистемы "Буран" Змеев Д. Н.Климов А. В.Левченко Н. Н.2015 год

Эмуляция аппаратно-программных средств параллельной потоковой вычислительной системы "Буран"

  • Змеев Д. Н. и др.
  • 2015 год
Метод выборатехнологии созданияпараллельногоспециальногопрограммногообеспечения свременнойпараметризацией Толмачев А. А.Аксенов М. А.Викторов Д. С.2022 год

Метод выбора технологии создания параллельного специального программного обеспечения с временной…

  • Толмачев А. А. и др.
  • 2022 год

Показать ещё

Алгоритм управляемой имитации сети Петри

  • Сочнев А. Н.
  • 2010 год

Privacy-Preserving Building of Self-Organizing Maps

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

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

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

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

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

Инвариантные свойства цифровых систем

  • Довгун В. П. и др.
  • 2010 год

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

  • Казанцев М. А. и др.
  • 2014 год
Решение задачиперераспределенияпотоков газа намагистральныхгазопроводах методамилинейногопрограммирования Ильичев В. Ю.Чухраев И. В.Чухраева А. И.2020 год

Решение задачи перераспределения потоков газа на магистральных газопроводах методами линейного…

  • Ильичев В. Ю. и др.
  • 2020 год
Параллельный методструн для численногорешения нелинейныхзадачтеплопроводности Светушков Н. Н.2015 год

Параллельный метод струн для численного решения нелинейных задач теплопроводности

  • Светушков Н. Н.
  • 2015 год