1. Главная
  2. Ресурсы
  3. Библиотечный поиск
The Semantic ModelFeatures of theStatically TypedLanguage ofFunctional-dataflowParallel Programming Legalov Alexander I.Chuykin Nickolay K.2023 год

The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming : научное издание / Alexander I. Legalov, Nickolay K. Chuykin. - Текст : непосредственный // Supercomputing Frontiers and Innovations. - 2023. - Т. 10, № 2. - P. 32-45. - ISSN 2409-6008. - ISSN 2313-8734, DOI 10.14529/jsfi230203.
Аннотация: The features of a statically typed functional-dataflow model of parallel computation and its mapping to the statically typed language of functional-dataflow parallel programming Smile are considered. To provide support for architecture-independent parallel programming, we used: a functional style, an implicit managing of calculations on data readiness, structured data objects that provide representation of various types of parallelism. A distinctive feature of the approach is the inclusion in the model of special asynchronous data objects that can generate events on partial filling. These data objects are stream and swarm. Each of these data objects has its own specifics to control by parallel calculations. A stream is used to process data of the same type that arrives sequentially and asynchronously at random intervals. A swarm is used to describe independent dataof the same type or different types, on which it is possible to perform massive parallel operations. The use of streams and swarms in various situations as well as their mapping into each other and other program objects are shown. An analysis is made of the possibilities of transforming the formed language constructs into programming languages used in writing programs for modern parallel architectures.
Год издания: 2023
Авторы: Legalov Alexander I. , Chuykin Nickolay K.
Издательство: Южно-Уральский государственный университет (национальный исследовательский университет), Chelyabinsk
Источник: Supercomputing Frontiers and Innovations
Выпуск: Т. 10, № 2
Номера страниц: 32-45
Держатель оригинала документа: Higher School of Economics, National Research University
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Specifics ofsemantics of astatically typedlanguage offunctional anddataflow parallelprogramming Legalov A.Legalov I.Matkovskii I.2020 год

Specifics of semantics of a statically typed language of functional and dataflow parallel programming : доклад,…

  • Legalov A. и др.
  • 2020 год
Tail recursiontransformation infunctional dataflowparallel programs Legalov A.I.Nepomnyaschy O.V.Matkovsky I.V.2013 год

Tail recursion transformation in functional dataflow parallel programs : статья из журнала

  • Legalov A.I. и др.
  • 2013 год
A toolkit for thedevelopment ofdata-drivenfunctional parallelprogrammes Legalov A.I.Vasilyev V.S.Matkovskii I.V.2018 год

A toolkit for the development of data-driven functional parallel programmes : доклад, тезисы доклада, статья из…

  • Legalov A.I. и др.
  • 2018 год
Algorithms for logiccircuits synthesis inthe functional-flowprogramming language Romanova Darya2023 год

Algorithms for logic circuits synthesis in the functional-flow programming language : доклад, тезисы доклада

  • Romanova Darya
  • 2023 год
Formal verificationof programs in thefunctional data-flowparallel language Kropacheva M.S.Legalov A.I.2013 год

Formal verification of programs in the functional data-flow parallel language : статья из журнала

  • Kropacheva M.S. и др.
  • 2013 год
Инструментальнаяподдержка создания итрансформациифункционально-потоковых параллельныхпрограмм Легалов А.И.Васильев В.С.Матковский И.В.2017 год

Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание

  • Легалов А.И. и др.
  • 2017 год
Dynamically ChangingParallelism withAsynchronousSequential Data Flows Legalov A.I.Matkovskii I.V.Ushakova M.S.2021 год

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows : научное издание

  • Legalov A.I. и др.
  • 2021 год
Трансформация моделипамяти языкапрограммирования C вобъектно-ориентированное представление наязыке EO Легалов Александр ИвановичБугаенко Егор ГеоргиевичЧуйкин Николай Константинович2022 год

Трансформация модели памяти языка программирования C в объектно-ориентированное представление на… : научное издание

  • Легалов Александр Иванович и др.
  • 2022 год

Показать ещё

АЛГОРИТМЫ СИНТЕЗАЛОГИЧЕСКИХ СХЕМ НАФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯ Романова Д.С.Легалов А.И.2023 год

АЛГОРИТМЫ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ : научное издание

  • Романова Д.С. и др.
  • 2023 год
Transformation ofFunctional DataflowParallel Programsinto ImperativePrograms Vasilev V. S.Legalov A. I.Zykov S. V.2022 год

Transformation of Functional Dataflow Parallel Programs into Imperative Programs : научное издание

  • Vasilev V. S. и др.
  • 2022 год
Особенности семантикистатическитипизированного языкафункционально-потокового параллельногопрограммирования Легалов А.И.Легалов И.А.Матковский И.В.2019 год

Особенности семантики статически типизированного языка функционально-потокового параллельного… : научное издание

  • Легалов А.И. и др.
  • 2019 год
ВЕРИФИКАЦИЯФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ МЕТОДОМИНДУКТИВНЫХУТВЕРЖДЕНИЙ Удалова Юлия ВасильевнаЛегалов Александр Иванович2014 год

ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ : статья из журнала

  • Удалова Юлия Васильевна и др.
  • 2014 год

Learning RXJAVA : build concurrent applications using reactive programming with the latest features of RXJAVA 3

  • Samoylov Nick и др.
  • 2020 год
Functional symmetryand reproducibilityof the evolutionaryprocess Bartsev S. I.2026 год

Functional symmetry and reproducibility of the evolutionary process : научное издание

  • Bartsev S. I.
  • 2026 год
Automation of FormalVerification ofPrograms in thePifagor Language Ushakova Maria SergeevnaLegalov Alexander Ivanovich2015 год

Automation of Formal Verification of Programs in the Pifagor Language : научное издание

  • Ushakova Maria Sergeevna и др.
  • 2015 год
Методы редукциипараллелизма впроцессевысокоуровнегосинтеза цифровыхинтегральных схем Романова Д.С.Непомнящий О.В.Легалов А.И.2022 год

Методы редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем : научное издание

  • Романова Д.С. и др.
  • 2022 год