Journal of Siberian Federal University. Engineering & Technologies / Debug and Verification of Function-Stream Parallel Programs

Full text (.pdf)
Issue
Journal of Siberian Federal University. Engineering & Technologies. 2011 4 (2)
Authors
Udalova, Julia V.; Legalov, Alexander I.; Sirotinina, Natalie U.
Contact information
Udalova, Julia V. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia , e-mail: ; Legalov, Alexander I. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia; Sirotinina, Natalie U. : Siberian Federal University , 79 Svobodny, Krasnoyarsk 660041 Russia
Keywords
debug; verification; function-stream parallel programs
Abstract

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.

Pages
213-224
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/2337

Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).