Показать сокращенную информацию

Удалова, Ю.В.ru
Udalova, Julia V.en
Легалов, А.И.ru
Legalov, Alexander I.en
Сиротинина, Н.Ю.ru
Sirotinina, Natalie U.en
2011-04-25T05:03:06Z
2011-04-25T05:03:06Z
2011-04en
http://elib.sfu-kras.ru/handle/2311/2337
В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процессов и их визуальное восприятие с различных позиций. Рассмотрен подход к их формальной верификации, базирующийся на переборе, поступающих в асинхронные списки данных, эквивалентный методу проверки моделей. Это позволяет проанализировать корректность разрабатываемых программ без построения специализированных промежуточных моделей.ru
Debug function-stream parallel program can pass in one of the four realized modes: mode of incremental debug, mode of layer debug, mode of branch debug and mode of formulas checking. Verification of function-stream parallel programs with asynchronous lists is described in article.en
ruen
Сибирский федеральный университет. Siberian Federal University.en
2011 4 ( 2 )en
Журнал Сибирского федерального университета. Техника и технологии. Journal of Siberian Federal University. Engineering & Technologies.en
отладкаru
верификацияru
параллельные вычисленияru
функционально-потоковое параллельное программированиеru
debugen
verificationen
function-stream parallel programsen
Методы отладки и верификации функционально-потоковых параллельных программru
Debug and Verification of Function-Stream Parallel Programsen
Journal Article
Published Journal Article
Удалова, Ю.В. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79 , e-mail: uuuu82@inbox.ruru
Udalova, Julia V. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia , e-mail: uuuu82@inbox.ruen
Легалов, А.И. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79ru
Legalov, Alexander I. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russiaen
Сиротинина, Н.Ю. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79ru
Sirotinina, Natalie U. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russiaen
213-224en


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию