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

Описание

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

Конференция: ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ТЕХНОЛОГИИ (ПаВТ'2009); Нижний Новгород; Нижний Новгород

Год издания: 2009

Аннотация: Исследуются методы отладки и верификации программ, написанных на функционально-потоковом параллельном языке. Использование данного языка позволяет не учитывать распределение ресурсов. Это, на наш взгляд, позволяет первоначально акцентировать внимание на логике функционирования, обеспечивая в дальнейшем перенос на целевые архитектурПоказать полностьюы правильно работающих программ. Применение функционально-потоковых языков вносит свои особенности в отладку и верификацию, что ведет к разработке новых методов и инструментальных средств, рассматриваемых в работе.

Ссылки на полный текст

Издание

Журнал: Параллельные вычислительные технологии (ПаВТ'2009)

Номера страниц: 757

Издатель: Издательский центр ЮУрГУ

Персоны

  • Удалова Ю.В. (Сибирский федеральный университет)
  • Легалов А.И. (Сибирский федеральный университет)
  • Сиротинина Н.Ю. (Сибирский федеральный университет)
  • Кропачева М.С. (Сибирский федеральный университет)

Вхождение в базы данных