Cover Image

Formal and adaptive methods and software tools of parallel programming

Saved in:

Bibliographic Details
Date:	2017
Main Authors:	Yu. Doroshenko, O. H. Beketov, K. A. Zhereb, P. A. Ivanenko, O. M. Ovdii, R. S. Shevchenko, O. A. Yatsenko
Format:	Article
Language:	English
Published:	2017
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000773885
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)

Formal methods of parallel software design automation
by: Doroshenko, A.Yu., et al.
Published: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)

Parallel software auto-tuning using statistical modeling and machine learning
by: Yu. Doroshenko, et al.
Published: (2018)

Parallel software auto-tuning using statistical modeling and machine learning
by: Doroshenko, А.Yu., et al.
Published: (2018)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
by: A. E. Doroshenko, et al.
Published: (2017)

Automated design of programs for .NET platform using Task Parallel Library
by: Yu. Doroshenko, et al.
Published: (2020)

Method of parallelization of loops for grid calculation problems on GPU accelerators
by: Yu. Doroshenko, et al.
Published: (2017)

Algorithm for automatic loop parallelization for graphics processing units
by: Yu. Doroshenko, et al.
Published: (2017)

Automated program design for solution of weather forecasting problem
by: Yu. Doroshenko, et al.
Published: (2016)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Yu. Doroshenko, et al.
Published: (2018)

Design of a terrain surface visualization program using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2019)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Algorithm for automatic loop parallelization for graphics processing units
by: Doroshenko, А.Yu., et al.
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.
Published: (2018)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
by: K. R. Aidazade, et al.
Published: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
by: Aidazade, K.R., et al.
Published: (2017)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: S. M. Pryima, et al.
Published: (2020)

Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

A parallel search algorithm for formal grammar data types
by: A. Prodan
Published: (2018)

Software package for adaptive training of robot controllers based on neural networks
by: Vitiuk, A.Y., et al.
Published: (2023)

Basics of programming in the context of software engineering
by: N. A. Sidorov
Published: (2019)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

Economic impact tools software development organic farming
by: H. O. Tiutiunnyk
Published: (2015)

Adaptive Program of Aircraft Acceleration
by: V. V. Pavlov, et al.
Published: (2015)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

The formalization of adaptive tasks mapping in the reconfigurable computing systems on FPGAs
by: I. A. Klymenko
Published: (2016)

Software system for analyzing cloudiness based on satellite observations
by: Yu. Doroshenko, et al.
Published: (2019)

Parallel algorithms for solving the boolean quadratic programming problem
by: V. P. Shylo, et al.
Published: (2015)

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

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

Method of parametric adaptation of parallel and sequential turbo codes using neural networks
by: Zaitseva, Liliia
Published: (2026)

A resource limited parallel program model
by: D. V. Rahozin
Published: (2019)

A resource limited parallel program model
by: Rahozin, D.V.
Published: (2019)

A resource limited parallel program model
by: Rahozin, D.V.
Published: (2019)