Search Results - Functional-dataflow parallel programming
-
1
Authors:
Source: Science Bulletin of the Novosibirsk State Technical University. :37-46
-
2
Source: Supercomputing Frontiers and Innovations. 10
-
3
Authors: et al.
Source: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)Subject Terms: преобразование программ, функционально-потоковое параллельное программирование, tail recursion, хвостовая рекурсия, язык программирования Пифагор, programs transformation, functional dataflow parallel programming, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64
Access URL: https://www.mais-journal.ru/jour/article/download/40/36
https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba
https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569
https://link.springer.com/content/pdf/10.3103/S0146411613070237.pdf
https://dblp.uni-trier.de/db/journals/accs/accs47.html#LegalovNMK13
https://link.springer.com/article/10.3103/S0146411613070237
https://rd.springer.com/article/10.3103%2FS0146411613070237 -
4
Authors:
Source: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)Subject Terms: функционально-потоковое параллельное программирование, functional data-flow parallel programming, язык программирования Пифагор, programs formal verification, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64, 16. Peace & justice, формальная верификация программ
-
5
Authors: et al.
Source: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)
Subject Terms: functional dataflow parallel programming, tail recursion, programs transformation, pifagor programming language, Information technology, T58.5-58.64
File Description: electronic resource
-
6
Authors: et al.
Source: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
Subject Terms: функционально-потоковое параллельное программирование, информационный граф, управляющий граф, средства разработки программ, Electronic computers. Computer science, трансформация программ, QA75.5-76.95, архитектурно-независимое параллельное программирование
-
7
Authors: et al.
Contributors: et al.
Subject Terms: programming paradigms, parallel programming, functional-dataflow, static type system, parallel computation models, polymorphism
Relation: CEUR Workshop Proceedings; без квартиля
-
8
Authors:
Source: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)
Subject Terms: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ, Information technology, T58.5-58.64
File Description: electronic resource
-
9
Authors:
Source: Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)
Subject Terms: 0209 industrial biotechnology, program analysis, intermediate program representations, typing, 0202 electrical engineering, electronic engineering, information engineering, transformation of programs, Information technology, 02 engineering and technology, T58.5-58.64, dataflow parallel programming
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Evolutionary software development, Functional-dataflow parallel programming, Multiple polymorphism, Procedural-parametric programming, Programming paradigms, 20.01
Relation: CEUR Workshop Proceedings; без квартиля; https://keldysh.ru/abrau/2018/theses/44.pdf?x=0
-
11
Authors: et al.
Source: Automatic Control & Computer Sciences; Dec2021, Vol. 55 Issue 7, p636-646, 11p
-
12
Authors:
Source: Automatic Control & Computer Sciences; Dec2018, Vol. 52 Issue 7, p843-849, 7p
-
13
Authors: et al.
Source: Automatic Control & Computer Sciences; Dec2013, Vol. 47 Issue 7, p366-372, 7p
-
14
Authors: et al.
Source: Automatic Control & Computer Sciences; Dec2023, Vol. 57 Issue 7, p696-705, 10p
-
15
Authors:
Source: Trends in Functional Programming Volume 5; 2006, Vol. 5, p129-144, 16p
Subject Terms: COMPUTER graphics, DATA flow computing, FUNCTIONAL programming languages, PROGRAMMING languages, FUNCTIONAL programming (Computer science)
-
16
Authors:
Source: IETE Journal of Research; Sep2023, Vol. 69 Issue 9, p6137-6151, 15p
-
17
Authors: Victor Malyshkin
Resource Type: eBook.
Subjects: Software engineering, Algorithms, Numerical analysis, Computer simulation, Computers, Computer engineering, Computer networks
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation, MATHEMATICS / Numerical Analysis
-
18
Authors:
Source: Minds & Machines; 2024 Suppl 1, Vol. 34, p139-170, 32p
Subject Terms: COMPUTER software development, PRAGMATICS, THEORY of knowledge, ONTOLOGY
-
19
Authors:
Resource Type: eBook.
Subjects: Computer programming, Computer systems
Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General
-
20
Authors: et al.
Source: Modeling and Analysis of Information Systems; Том 27, № 2 (2020); 164-179 ; Моделирование и анализ информационных систем; Том 27, № 2 (2020); 164-179 ; 2313-5417 ; 1818-1015
File Description: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/1323/984; A. I. Legalov, “The Usage of Asynchronous Lists within the Dataflow Model of Computations”, in The Third Siberian School Seminar on Parallel Computations, In Russian, 2006, pp. 113–120.; C. A. R. Hoar, Communicating Sequential Processes, 8. Communications of the ACM, 1978, vol. 21, pp. 666–677.; M. Diaz, Petri Nets: Fundamental Models, Verification and Applications. UK: ISTE Ltd, 2009.; A. I. Legalov, “About Computation Control in Parallel System and Programming Languages”, Nauchiy Vestnik NGTU, vol. 18, no. 3, pp. 63–72, 2004, In Russian.; A. I. Legalov, V. S. Vasiliev, and I. V. Matkovsky, “Changing Computing Management Strategies for Architecture-Independent Parallel Programming”, in Proceedings of the XIX All-Russian Scientific Conference “Scientific Service on the Internet”, In Russian, 2017, pp. 341–350.; A. V. Redkin and A. I. Legalov, “Event Based Control of Computations for Functional Dataflow Programming”, Scientific Bulletin of Novosibirsk State Technical University, vol. 32, no. 3, pp. 111–120, 2008, In Russian.; A. I. Legalov, A. V. Redkin, and I. V. Matkovsky, “Data Driven Functional Parallel Programming with Data Coming Asynchronously”, in Parallel Computing Technologiws (PCT’2009), In Russian, 2009, pp. 573–578.; A. I. Legalov, I. A. Legalov, and I. V. Matkovsky, “Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming”, in Scientific Conference “Scientific Service on the Internet”, 2019, pp. 489–500.; A. I. Legalov, “Functional Language for Architecture-Independent Programming”, Computation technologies, vol. 10, no. 1, pp. 71–89, 2005, In Russian.
Nájsť tento článok vo Web of Science 
Full Text Finder