Buchumschlag

Algebraic automata specification of common and distributed memory parallel programs

Issues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Doroshenko, A.Yu., Tseytlin, G.E.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	UDC 51:681.03
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/15
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015)

Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)

Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)

About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

A resource limited parallel program model
von: Rahozin, D.V.
Veröffentlicht: (2019)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
von: A. E. Doroshenko, et al.
Veröffentlicht: (2017)

Simulation and genetic optimization of control systems by LabVIEW programming
von: Zherebko, V.A., et al.
Veröffentlicht: (2018)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

A note to my paper “Multi-algebras from the viewpoint of algebraic logic”
von: Cırulis, Janis
Veröffentlicht: (2018)

On filters and upper sets in CI-algebras
von: Piekart, Bozena, et al.
Veröffentlicht: (2018)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2018)

Parallel Implementation of Sparse Distributed Memory for Semantic Storage
von: R. O. Vdovychenko, et al.
Veröffentlicht: (2022)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Quasi-valuation maps based on positive implicative ideals in BCK-algebras
von: Jun, Young Bae, et al.
Veröffentlicht: (2018)