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

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

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

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

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

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

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

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

• РИНЦ (eLIBRARY.RU)