Systems and Means of Informatics
November 2013, Volume 23, Issue 2, pp 133-153
THEORETICAL ASPECTS OF PROGRAMMING METHODOLOGY DEVELOPMENT FOR RECURRENT ARCHITECTURE
- D. Khilko
- Yu. Stepchenkov
Abstract
This 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 proposed. Recurrent organization of computational process is theoretically proved 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 proposed. This methodology is demonstrated on a problem of isolated words recognition with device based on a new architecture. Also one of the base algorithms of mentioned problem - band-pass filtering is realized by using proposed methodology step by step.
[+] References (13)
- Agerwala, T., and Arvind. 1982. Data flow systems. IEEE Computer 15:10-13.
- Arvind, and D.E. Culler. 1986. Data flow architectures. Ann. Rev. Comput. Sci.
1:225-53.
- Arvind, and R.A. Iannucci. 1983. A critique of multiprocessing von Neumann style.
10th ISCA Proceedings. 426{36.
- Rogers, H. Jr. 1967. Theory of recursive functions and effective computability.
McGraw Book Co. 17{52.
- Filin, A.V. 2001. Osobennosti obrabotki signalov na processore s rekurrentno-
dinamicheskoj paradigmoj vychislenij [Signal processing features using processor based
on dynamic recurrent computational paradigm]. Systems and Means of Informatics
11:262-82.
- Stepchenkov, Yu.A., and V. S. Petruhin. 2008. Osobennosti gibridnogo varianta
realizacii na PLIS rekurrentnogo obrabotchika signalov [The hybrid variant FPGA
realization features of recurrent signal processor]. Systems and Means of Informatics
Add.:118-29.
- Filin, A.V. 2001.Dinamicheskij podhod k vyboru arhitektury vychislitel'nyh ustrojstv
obrabotki signalov [A dynamic approach to computing architecture selection of signal
processing devices]. Systems and Means of Informatics 11:247-61.
- Stepchenkov, D.Yu. 2005. Programma REKURRENT - instrument analiza i sinteza
celochislennyh preobrazovatelej [REKURRENT program as a tool for analysis and
synthesis of integer converters]. Systems and Means of Informatics 15:397-407.
- Zelenov, R.A., Yu.A. Stepchenkov, V.N. Volchek, V. S. Petruhin, A.A. Prokof'ev,
and D.V. Khilko. 2013. Sistema kapsul'nogo programmirovanija i otladki (SKAT).
Versija 2 [The system of capsule programming and debugging (SKAT). Ver. 2].
Certificate on official registration of the computer program No. 2013610198.
- Khilko, D.V., and Yu.A. Stepchenkov. 2013. Sredstva imitacionnogo modelirovanija
potokovoj rekurrentnoj arhitektury (SIMPRA) [Imitationalmodeling tools for recurrent
dataflow architecture (SIMPRA)]. Certificate on official registration of the computer
program No. 2013610199.
- Khilko, D.V., Yu.A. Stepchenkov, and A. Ju. Shnejder. 2013. Programma obrabotki
rezul'tatov modelirovanija potokovoj rekurrentnoj arhitektury (PRAPOR) [The program processing the simulation results of recurrent dataflow architecture (PRAPOR)].
Certificate on official registration of the computer program No. 2013610199.
- Zelenov, R.A., Yu.A. Stepchenkov, V.N. Volchek, D.V. Khilko, Ju.A. Shnejder,
and A.A. Prokof'ev. 2010. Sistema kapsul'nogo programmirovanija i otladki [The
system of capsule programming and debugging]. Systems and Means of Informatics
20(1):24-30.
- Khilko, D.V., and Yu.A. Stepchenkov. 2012. Model' potokovoj arhitektury na
primere raspoznavatelja slov [The dataflow architecture model with word recognizer as
an example]. Systems and Means of Informatics 22(2):48-57.
[+] About this article
Title
THEORETICAL ASPECTS OF PROGRAMMING METHODOLOGY DEVELOPMENT FOR RECURRENT ARCHITECTURE
Journal
Systems and Means of Informatics
Volume 23, Issue 2, pp 133-153
Cover Date
2013-11-30
DOI
10.14357/08696527130210
Print ISSN
0869-6527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
computational paradigm, programming methodology recursiveness, dataflow architecture
Authors
D. Khilko , Yu. Stepchenkov
Author Affiliations
Institute of Informatics Problems, Russian Academy of Sciences
|