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 экземпляров.

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