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

Formal and adaptive methods and software tools of parallel programming

Збережено в:

Бібліографічні деталі
Дата:	2017
Автори:	Yu. Doroshenko, O. H. Beketov, K. A. Zhereb, P. A. Ivanenko, O. M. Ovdii, R. S. Shevchenko, O. A. Yatsenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2017
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000773885
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

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

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

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

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Parallel software auto-tuning using statistical modeling and machine learning
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2018)

Parallel software auto-tuning using statistical modeling and machine learning
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
за авторством: A. E. Doroshenko, та інші
Опубліковано: (2017)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

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

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

The Formal method of Component Basic Programming
за авторством: Grischenko, V.N.
Опубліковано: (2015)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Automated program design for solution of weather forecasting problem
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)

Method of parallelization of loops for grid calculation problems on GPU accelerators
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Algorithm for automatic loop parallelization for graphics processing units
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
за авторством: K. R. Aidazade, та інші
Опубліковано: (2017)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2018)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Method of parallelization of loops for grid calculation problems on GPU accelerators
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Algorithm for automatic loop parallelization for graphics processing units
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

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

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

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

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

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
за авторством: Aidazade, Kamil, та інші
Опубліковано: (2017)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

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

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

A parallel search algorithm for formal grammar data types
за авторством: A. Prodan
Опубліковано: (2018)