Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Doroshenko, A.Yu., Zhereb, K.A.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/845
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

Automatically adjustable parallel algorithm for solving multidimensional problem of environmental modeling
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2026)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Model program, systems and operational environments
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)

A system for the automated design of digital image filters
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)

One model of optimal resource allocation in homogeneous multiprocessor system
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Parallel non-negative sparse extra-large matrix factorization
за авторством: Nasirov, E.M.
Опубліковано: (2025)

Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
за авторством: Masalitina, N.N., та інші
Опубліковано: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

Algorithmic algebra tools on the Web 2.0 platform
за авторством: Iovchev, V.A., та інші
Опубліковано: (2026)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

AWP – instrument for project and programming complex systems on the base system analisys
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)

Formal description of the types and - data structures mixed programmes
за авторством: Stenyashin, A.Yu.
Опубліковано: (2025)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Conceptual models of distributed component systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Fuzzy diagnostic models in the H-Homeopath system
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)

Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
за авторством: Zherebko, V.A.
Опубліковано: (2017)

Design of ontological system of terms and their cognitive models in scientific research
за авторством: Rogushina, J.V., та інші
Опубліковано: (2026)

On some technology of project modeling of stochastic manufacturing technological processes
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

Agent model of information retrieval on the basis of beehive metaphor
за авторством: Remarovich, S.S.
Опубліковано: (2025)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
за авторством: Marchenko, O.O.
Опубліковано: (2025)

Implementation of rich web-applications based on taucode library
за авторством: Kovalenko, A.S., та інші
Опубліковано: (2026)

Conception of industry scientific software to decision scientific tasks
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)