Suchergebnisse - Functional-dataflow parallel programming*

Control flow graphs optimization in intermediate representations of the functional dataflow parallel programming language

Autoren: Vladimir Vasilev Alexander Legalov

Quelle: Science Bulletin of the Novosibirsk State Technical University. :37-46

Zugangs-URL: https://journals.nstu.ru/vestnik/download_article?id=25103

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

Quelle: Supercomputing Frontiers and Innovations. 10

Tail recursion transformation in functional dataflow parallel programs

Autoren: O. V. Nepomnyaschy Mariya S. Kropacheva Alexander I. Legalov et al.

Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)

Schlagwörter: преобразование программ, функционально-потоковое параллельное программирование, 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

Zugangs-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

Formal Verification of Programs in Functional Dataflow Parallel Language

Autoren: M. S. Kropacheva A. I. Legalov

Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)

Schlagwörter: функционально-потоковое параллельное программирование, 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, формальная верификация программ

Zugangs-URL: https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe
https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67

Tail Recursion Transformation in Functional Dataflow Parallel Programs

Autoren: A. I. Legalov O. V. Nepomnyaschy I. V. Matkovsky et al.

Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)

Schlagwörter: functional dataflow parallel programming, tail recursion, programs transformation, pifagor programming language, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Zugangs-URL: https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba

Support tools for creation and transformation of functional-dataflow parallel programs

Autoren: A I Legalov V S Vasilyev I V Matkovskii et al.

Quelle: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)

Schlagwörter: функционально-потоковое параллельное программирование, информационный граф, управляющий граф, средства разработки программ, Electronic computers. Computer science, трансформация программ, QA75.5-76.95, архитектурно-независимое параллельное программирование

Zugangs-URL: http://ispras.ru/proceedings/docs/2017/29/5/isp_29_2017_5_165.pdf
https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25
https://www.ispras.ru/en/proceedings/isp_29_2017_5/isp_29_2017_5_165/

Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming

Autoren: Легалов, А. И. Легалов, И. А. Матковский, И. В. et al.

Weitere Verfasser: Легалов, А. И. Легалов, И. А. Матковский, И. В. et al.

Schlagwörter: programming paradigms, parallel programming, functional-dataflow, static type system, parallel computation models, polymorphism

Relation: CEUR Workshop Proceedings; без квартиля

Verfügbarkeit: http://ceur-ws.org/Vol-2543/rpaper23.pdf
https://elib.sfu-kras.ru/handle/2311/143129
https://doi.org/10.20948/abrau-2019

Formal Verification of Programs in Functional Dataflow Parallel Language

Autoren: M. S. Kropacheva A. I. Legalov

Quelle: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)

Schlagwörter: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ, Information technology, T58.5-58.64

Dateibeschreibung: electronic resource

Relation: http://mais-journal.ru/jour/article/view/59; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Zugangs-URL: https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67

The System for Transforming the Code of Dataflow Programs into Imperative

Autoren: Vladimir S. Vasilev Alexander I. Legalov Sergey V. Zykov

Quelle: Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)

Schlagwörter: 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

Zugangs-URL: https://www.mais-journal.ru/jour/article/download/1488/1130
https://doaj.org/article/abc98536f0eb4f4c8eea69c60139402f
https://www.mais-journal.ru/jour/article/view/1488
https://www.mais-journal.ru/jour/article/viewFile/1488/1130

Tail recursion transformation in functional dataflow parallel programs.

Autoren: Legalov, A. Nepomnyaschy, O. Matkovsky, I. et al.

Quelle: Automatic Control & Computer Sciences; Dec2013, Vol. 47 Issue 7, p366-372, 7p

Instrumental Support of the Evolutionary Expansion of Programs Using a Incremental Development

Autoren: Легалов, А. И. Легалов, И. А. Матковский, И. В. et al.

Weitere Verfasser: Легалов, А. И. Легалов, И. А. Матковский, И. В. et al.

Schlagwörter: 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

Verfügbarkeit: https://keldysh.ru/abrau/2018/theses/44.pdf?x=0
https://elib.sfu-kras.ru/handle/2311/129819
https://doi.org/10.20948/abrau-2018-44

Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis.

Autoren: Ryzhenko, I. N. Nepomnyaschy, O. V. Legalov, A. I. et al.

Quelle: Automatic Control & Computer Sciences; Dec2023, Vol. 57 Issue 7, p696-705, 10p

Chapter 9: A Graphic Functional-Dataflow Language.

Autoren: Clerici, Silvia Zoltan, Cristina

Quelle: Trends in Functional Programming Volume 5; 2006, Vol. 5, p129-144, 16p

Schlagwörter: COMPUTER graphics, DATA flow computing, FUNCTIONAL programming languages, PROGRAMMING languages, FUNCTIONAL programming (Computer science)

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows.

Autoren: Legalov, A. I. Matkovskii, I. V. Ushakova, M. S. et al.

Quelle: Automatic Control & Computer Sciences; Dec2021, Vol. 55 Issue 7, p636-646, 11p

A stackless runtime environment for a Pi-calculus

Autoren: Peschanski, Frédéric Hym, Samuel

Weitere Verfasser: Peschanski, Frédéric Hym, Samuel

Quelle: Proceedings of the 2nd international conference on Virtual execution environments. :57-67

Schlagwörter: garbage collection, operational semantics, interpreter, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Pi-calculus, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Zugangs-URL: http://www.usenix.org/events/vee06/full_papers/p57-peschanski.pdf
https://dblp.uni-trier.de/db/conf/vee/vee2006.html#PeschanskiH06
https://hal.archives-ouvertes.fr/hal-00140653
https://dl.acm.org/doi/10.1145/1134760.1134770
https://www.usenix.org/legacy/events/vee06/full_papers/p57-peschanski.pdf
https://hal.science/hal-00140653v1
https://doi.org/10.1145/1134760.1134770

Loop-invariant Optimization in the Pifagor Language.

Autoren: Vasilev, V. S. Legalov, A. I.

Quelle: Automatic Control & Computer Sciences; Dec2018, Vol. 52 Issue 7, p843-849, 7p

Solving Partially Observable Environments with Universal Search Using Dataflow Graph-Based Programming Model.

Autoren: Paul, Swarna Kamal Bhaumik, Parama

Quelle: IETE Journal of Research; Sep2023, Vol. 69 Issue 9, p6137-6151, 15p

Schlagwörter: MACHINE learning, LEARNING strategies, ARTIFICIAL intelligence, REINFORCEMENT learning, INTELLIGENT agents

Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings

Autoren: Victor Malyshkin

Resource Type: eBook.

Schlagworte: 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

A Pragmatic Theory of Computational Artefacts.

Autoren: Buda, Alessandro G. Primiero, Giuseppe

Quelle: Minds & Machines; 2024 Suppl 1, Vol. 34, p139-170, 32p

Schlagwörter: COMPUTER software development, PRAGMATICS, THEORY of knowledge, ONTOLOGY

Research Directions in Parallel Functional Programming

Autoren: Kevin Hammond Greg Michaelson

Resource Type: eBook.

Schlagworte: Computer programming, Computer systems

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General