Показать сокращенную информацию
Методы отладки и верификации функционально-потоковых параллельных программ
| Автор | Удалова, Ю.В. | 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-04 | en |
| URI (для ссылок/цитирований) | https://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 |
| Язык | ru | en |
| Издатель | Сибирский федеральный университет. Siberian Federal University. | en |
| Является частью серии | 2011 4 ( 2 ) | en |
| Является частью серии | Журнал Сибирского федерального университета. Техника и технологии. Journal of Siberian Federal University. Engineering & Technologies. | en |
| Тема | отладка | ru |
| Тема | верификация | ru |
| Тема | параллельные вычисления | ru |
| Тема | функционально-потоковое параллельное программирование | ru |
| Тема | debug | en |
| Тема | verification | en |
| Тема | function-stream parallel programs | en |
| Название | Методы отладки и верификации функционально-потоковых параллельных программ | ru |
| Альтернативное название | Debug and Verification of Function-Stream Parallel Programs | en |
| Тип | Journal Article | |
| Тип | Published Journal Article | |
| Контакты автора | Удалова, Ю.В. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79 , e-mail: uuuu82@inbox.ru | ru |
| Контакты автора | Udalova, Julia V. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia , e-mail: uuuu82@inbox.ru | en |
| Контакты автора | Легалов, А.И. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79 | ru |
| Контакты автора | Legalov, Alexander I. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia | en |
| Контакты автора | Сиротинина, Н.Ю. : Сибирский федеральный университет , Россия 660041, Красноярск, пр. Свободный, 79 | ru |
| Контакты автора | Sirotinina, Natalie U. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia | en |
| Страницы | 213-224 | en |
