Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ ТЕХНОЛОГИИ (ПаВТ'2009); Нижний Новгород; Нижний Новгород
Год издания: 2009
Аннотация: Исследуются методы отладки и верификации программ, написанных на функционально-потоковом параллельном языке. Использование данного языка позволяет не учитывать распределение ресурсов. Это, на наш взгляд, позволяет первоначально акцентировать внимание на логике функционирования, обеспечивая в дальнейшем перенос на целевые архитектуры правильно работающих программ. Применение функционально-потоковых языков вносит свои особенности в отладку и верификацию, что ведет к разработке новых методов и инструментальных средств, рассматриваемых в работе.
Издание
Журнал: Параллельные вычислительные технологии (ПаВТ'2009)
Номера страниц: 757
Издатель: Издательский центр ЮУрГУ
Персоны
- Удалова Ю.В. (Сибирский федеральный университет)
- Легалов А.И. (Сибирский федеральный университет)
- Сиротинина Н.Ю. (Сибирский федеральный университет)
- Кропачева М.С. (Сибирский федеральный университет)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.