Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
The automatic dynamic parallelizing problem of calculations for multiprocessing computer systems with loose connection is considered. At the inherently of researches we use the author's system of automatic dynamic parallelizing (DDCI). In work the problem of efficiency of calculations paralleli...
Saved in:
| Date: | 2026 |
|---|---|
| Main Authors: | Levchenko, R.I., Sudakov, A.A., Pogorilyy, S.D., Boiko, Y.V. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2026
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/899 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)
by: Kolchin, A.V.
Published: (2015)
Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)
by: Letichevsky, A.A., et al.
Published: (2026)
Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)
by: Godlevsky, A.B., et al.
Published: (2026)
A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)
by: Kolchin, A.V.
Published: (2026)
Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)
by: Potienko, S.V.
Published: (2026)
Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
The constructional knowledge of sets and their properties
by: Ilman, V.M., et al.
Published: (2025)
by: Ilman, V.M., et al.
Published: (2025)
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)
by: Ведь, Е. В.
Published: (2016)
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)
by: Ведь, Е. В.
Published: (2016)
Portfolio model for decision process concerning organizational change management
by: Slabospitskaya, O.A.
Published: (2017)
by: Slabospitskaya, O.A.
Published: (2017)
An intellectual information technology for organizational decisions expert-analytical support
by: Ilyina, O.P., et al.
Published: (2025)
by: Ilyina, O.P., et al.
Published: (2025)
Using of the Conceptual and Retrospective Knowledge for Risk Mitigation in the Delphi Procedures for the Strategic Management
by: Ilyina, O.P.
Published: (2026)
by: Ilyina, O.P.
Published: (2026)
Adaptability measurement of e-learning courses
by: Lyubchenko, V.V.
Published: (2026)
by: Lyubchenko, V.V.
Published: (2026)
The Functions and the Methods for the modern paradigms of the Delphi method support
by: Ilyina, E.P.
Published: (2026)
by: Ilyina, E.P.
Published: (2026)
The models of the quality expert analysis for the decisions made under target programming
by: Ilyina, E.P.
Published: (2026)
by: Ilyina, E.P.
Published: (2026)
Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)
by: Shilov, N.V., et al.
Published: (2026)
Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
by: Shynkarenko, V.I., et al.
Published: (2018)
by: Shynkarenko, V.I., et al.
Published: (2018)
Bicomponent sorting algorithms
by: Shynkarenko, V. I., et al.
Published: (2023)
by: Shynkarenko, V. I., et al.
Published: (2023)
Models and methods of analytical support for strategic management decision-making
by: Ilina, E.P., et al.
Published: (2015)
by: Ilina, E.P., et al.
Published: (2015)
Multi-criteria analysis of the grid-systems security risk violation
by: Lavrenyuk, S.I., et al.
Published: (2026)
by: Lavrenyuk, S.I., et al.
Published: (2026)
Каталітична переробка хлорорганічних відходів у цінні мономери
by: Stepasiuk, B., et al.
Published: (2021)
by: Stepasiuk, B., et al.
Published: (2021)
Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)
by: Popov, O.V., et al.
Published: (2025)
Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)
by: Kopytchuk, M.B., et al.
Published: (2025)
Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)
by: Glibovets, A.M., et al.
Published: (2025)
Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)
by: Akulovsky, V.G., et al.
Published: (2025)
Multi-threaded computer calculations in the considered nonlinear dynamic systems
by: Lazarenko, S.V., et al.
Published: (2025)
by: Lazarenko, S.V., et al.
Published: (2025)
Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)
by: Letichevsky, A.A., et al.
Published: (2025)
Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
by: Tereshchenko, A.N.
Published: (2017)
by: Tereshchenko, A.N.
Published: (2017)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (2025)
by: Zavadskyi, I.O.
Published: (2025)
Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
by: Kuksa, A.I.
Published: (2015)
by: Kuksa, A.I.
Published: (2015)
The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)
by: Zubenko, V.V.
Published: (2025)
Method of creation of operators with the given projections along being crossed straight lines to interpolate f(x, y) in cross points of these straight lines
by: Литвин, О. О., et al.
Published: (2013)
by: Литвин, О. О., et al.
Published: (2013)
Method of creation of operators with the given projections along being crossed straight lines to interpolate f(x, y) in cross points of these straight lines
by: Литвин, О. О., et al.
Published: (2013)
by: Литвин, О. О., et al.
Published: (2013)
Mathematical minerals distributing model by means of spline-interlineation functions methods on a irregular located inclined boreholes system
by: Литвин, О. О., et al.
Published: (2015)
by: Литвин, О. О., et al.
Published: (2015)
Mathematical minerals distributing model by means of spline-interlineation functions methods on a irregular located inclined boreholes system
by: Литвин, О. О., et al.
Published: (2015)
by: Литвин, О. О., et al.
Published: (2015)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)
by: Stoyan, Yu. G., et al.
Published: (2016)
Approach of functions of two variables by 2D cubic interpolational splines on triangulational grid of knots
by: Литвин, О. М., et al.
Published: (2012)
by: Литвин, О. М., et al.
Published: (2012)
Approach of functions of two variables by 2D cubic interpolational splines on triangulational grid of knots
by: Литвин, О. М., et al.
Published: (2012)
by: Литвин, О. М., et al.
Published: (2012)
Similar Items
-
Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015) -
Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026) -
Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026) -
A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026) -
Methods of forward and backward symbolic modeling of systems specified by basic protocols
by: Potienko, S.V.
Published: (2026)