Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Problems in programming

Ähnliche Einträge

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)

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)

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

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 formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

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

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)

Parallel non-negative sparse extra-large matrix factorization
von: Nasirov, E.M.
Veröffentlicht: (2025)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

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

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)

Conceptual models of distributed component systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

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

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)

On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
von: Yatsenko, O.A.
Veröffentlicht: (2015)

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

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

Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

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

Comparative characteristics of methods of object-relational mapping
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

The registration and accounting of the information about events in specialized informational-telecommunication systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)

Support for the management of variability in the family of software systems
von: Kolesnik, A.L.
Veröffentlicht: (2015)

Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)