- 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
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).