Cover Image

Algebra-dynamic models for program parallelization

We propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiven...

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Doroshenko, A.Yu., Zhereb, K.A.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/845
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
by: Berezovsky, K.A., et al.
Published: (2026)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
by: Ivanenko, P.A., et al.
Published: (2026)

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

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

The algebraic model refactoring of components
by: Grischenko, V.N.
Published: (2015)

A system for the automated design of digital image filters
by: Zhereb, K.A., et al.
Published: (2026)

One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Approach to programming of applications with using of Semantic Web-services
by: Deretsky, V.A.
Published: (2026)

Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Technological aspects of viable software development using generative programming
by: Ignatenko, P.P., et al.
Published: (2026)

Algorithmic algebra tools on the Web 2.0 platform
by: Iovchev, V.A., et al.
Published: (2026)

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

AWP – instrument for project and programming complex systems on the base system analisys
by: Antonov, V.M., et al.
Published: (2026)

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

Conceptual models of distributed component systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Fuzzy diagnostic models in the H-Homeopath system
by: Provotar, A.I., et al.
Published: (2026)

Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
by: Zherebko, V.A.
Published: (2017)

Design of ontological system of terms and their cognitive models in scientific research
by: Rogushina, J.V., et al.
Published: (2026)

On some technology of project modeling of stochastic manufacturing technological processes
by: Maksimey, I.V., et al.
Published: (2015)

Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)

Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
by: Marchenko, O.O.
Published: (2025)

Implementation of rich web-applications based on taucode library
by: Kovalenko, A.S., et al.
Published: (2026)

Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
by: Lavrischeva, K.M.
Published: (2025)