Formalized design and synthesis of parallel programs for videographic shortcuts

Formalized design and synthesis of parallel programs for videographic shortcuts

Prombles in programming 2013; 3: 38-46

Збережено в:

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

Репозитарії

Problems in programming

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Designing principles of the Intelligent information technology for organization decisions
за авторством: Ilyina, E.P., та інші
Опубліковано: (2017)

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

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

A resource limited parallel program model
за авторством: Rahozin, D.V.
Опубліковано: (2019)

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

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

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Comparative characteristics of methods of object-relational mapping
за авторством: Lihatsky, I.A.
Опубліковано: (2025)

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

Support for the management of variability in the family of software systems
за авторством: Kolesnik, A.L.
Опубліковано: (2015)

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

Performance analysis of massively parallel programs for graphics processing units
за авторством: Rahozin, D.V.
Опубліковано: (2023)

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

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
за авторством: Назиров, Ш. А., та інші
Опубліковано: (2016)

Application of problem domain ontological description for relevantness increasing of informational retrieval
за авторством: Rogushina, J.V.
Опубліковано: (2015)

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

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

Принципи створення інтелектуального інтерфейсу для розв’язування систем лінійних алгебраїчних рівнянь на комп’ютерах гібридної архітектури
за авторством: HImIch, O.M., та інші
Опубліковано: (2015)

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

About relational-object mapping technique
за авторством: Lihatsky, I.A.
Опубліковано: (2025)

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

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

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Information threats and security services
за авторством: Antonyuk, A.A., та інші
Опубліковано: (2015)

UWN: The ontological basе of knowledge of the Ukrainian language
за авторством: Anisіmov, A.V., та інші
Опубліковано: (2015)