Theoretical aspects of programming methodology development for recurrent architecture

The paper is dedicated to a new recurrent dataflow computational paradigm and the methodology intended for solving and programming of corresponding problems. These problems are meant to be solved with the computational device that is being developed, which architecture is based on ideas and principles of proposed paradigm. Also, its realization in multicore dataflow recurrent architecture is suggested. Recurrent organization of computational process is theoretically proven to converge by using terms and theorems of the recursive functions theory. The software engineering problem for this architecture is described and its solution — recurrent dataflow programming methodology — is suggested. This methodology is demonstrated on a problem of isolated words recognition with device based on a new architecture. Also, one of the basic algorithms of the mentioned problem — band-pass filtering — is realized by using the proposed methodology step by step.