Search Results - Functional-dataflow parallel programming*

The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming

Get full text

Tail Recursion Transformation in Functional Dataflow Parallel Programs by Legalov, A. I., Nepomnyaschy, O. V., Matkovsky, I. V., Kropacheva, M. S.

“…The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed…”
Get full text

Tail recursion transformation in functional dataflow parallel programs by Legalov, A. I., Nepomnyaschy, O. V., Matkovsky, I. V., Kropacheva, M. S.

“…The peculiarities of transforming functional dataflow parallel programs into programs with finite resources are analysed…”
Get full text

Transformation of Functional Dataflow Parallel Programs into Imperative Programs by Vasilev, V. S., Legalov, A. I., Zykov, S. V.

“…The functional dataflow paradigm of parallel programming is focused on the development of parallel portable programs…”
Get full text

Support tools for creation and transformation of functional-dataflow parallel programs by A.I., Legalov, V.S., Vasilyev, I.V., Matkovskii, M.S., Ushakova

“… A functional dataflow parallel programming language is used. It supports writing programs independently of any resource limitations…”
Get full text

Formal Verification of Programs in Functional Dataflow Parallel Language by Kropacheva, M. S., Legalov, A. I.

“… Formal system for functional data-flow parallel programming language Pifagor is described…”
Get full text

The System for Transforming the Code of Dataflow Programs into Imperative by Vasilev, Vladimir S., Legalov, Alexander I., Zykov, Sergey V.

“…Functional dataflow programming languages are designed to create parallel portable programs…”
Get full text

Formal Verification of Programs in Functional Dataflow Parallel Language by M. S. Kropacheva, A. I. Legalov

“… Formal system for functional data-flow parallel programming language Pifagor is described…”
Get full text

Programming with streams in a Pascal-like language by Masataka Sassa, Ikuo Nakata

Get full text

An integrated functional solution for multi-core programming on the cell broadband engine by Azuelos, Nathaniel

“… The multiple cores on the CBE allow users to exploit the parallel nature of their programs. However, it is often difficult to efficiently extract the parallelism from an application and to distribute tasks in a suitable fashion…”
Get full text

Nondeterministic dynamic programming on a parallel coprocessing system by Lew, Art

“…We describe how nondeterministic dynamic programming (DP) algorithms can be designed for a new class of parallel coprocessing systems using “functional memory…”
Get full text

Automatic Parallelization of Simulation Code from Equation Based Simulation Languages by Aronsson, Peter

“… Therefore, to be able to simulate these large complex systems in an efficient way parallel…”
Get full text

Programming with streams in a Pascal-like language by Nakata, I., Sassa, M.

“…A description is given of features which were added to a conventional programming language that will manipulate streams of values…”
Get full text

A simulation of demand-driven dataflow: translation from Lucid into MDC language by Thiruvathukal, G.K., Christopher, T.W.

“… The authors aim to prove the viability of MDC in practice for the expression of parallel algorithms and the implementation of functional and dataflow programming languages…”
Get full text

Survey on data caching technology of distributed dataflow system by Xuchu YUAN, Guo FU, Jize BI, Yanfeng ZHANG, Tiezheng NIE, Yu GU, Yubin BAO, Ge YU

“…Dataflow model is adopted by several dataflow systems for its advantages of high parallel computing,pipeline processing and functional…”
Get full text

Implementation of a non-strict functional programming language V on a threaded architecture EARTH by Kusakabe, S., Inenaga, K., Amamiya, M., Xinan Tang, Marquez, A., Gao, G.R.

“…The combination of a language with fine-grain implicit parallelism and a dataflow evaluation scheme is suitable for high-level programming on massively parallel architectures…”
Get full text

Distributed, Scalable Clustering for Detecting Halos in Terascale Astronomy Datasets by Daruru, S, Dhandapani, S, Gupta, G, Iliev, I, Weijia Xu, Navratil, P, Marin, N, Ghosh, J

“… Two alternative parallel implementations of the algorithm, based respectively on the dataflow…”
Get full text

Implementing a non-strict functional programming language on a threaded architecture by Kusakabe, Shigeru, Inenaga, Kentaro, Amamiya, Makoto, Tang, Xinan, Marquez, Andres, Gao, Guang R.

“…The combination of a language with fine-grain implicit parallelism and a dataflow evaluation scheme is suitable for high-level programming on massively parallel architectures…”
Get full text