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

Formal methods of parallel software design automation

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	Yu. Doroshenko, O. A. Yatsenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Reports of the National Academy of Sciences of Ukraine
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001106105
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	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
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

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)

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

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

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

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

Automated development of a parallel distributed system for streaming data processing
за авторством: D. S. Titov, та інші
Опубліковано: (2016)

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

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)

A method of automated design of neuroevolution algorithms based on Glushkov algebra of algorithms
за авторством: I. P. Sinitsyn, та інші
Опубліковано: (2023)

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

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

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

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

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

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

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

Methodical Aspects of the Conceptual Design of Automated Systems
за авторством: Samokhvalov, Yu. Ya., та інші
Опубліковано: (2012)

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

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

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

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

Automated design of an artificial neuron for field-programmable gate arrays based on an algebra-algorithmic approach
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2022)

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)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Characteristics of information flows of software modules included in the software for automated support of ...
за авторством: Borovskaya, E.N., та інші
Опубліковано: (2025)

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

Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)

Choice of software to ensure automation of debtors management
за авторством: L. Kruchak
Опубліковано: (2017)

System of automated software control of the antenna system of the satellite
за авторством: Yehorov, Volodymyr O.
Опубліковано: (2024)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Automated hardware and software system for the assessment of human health
за авторством: S. I. Lukash, та інші
Опубліковано: (2015)

Registration of the parameters of the automated software and hardware complex for medical application
за авторством: V. H. Slipchenko, та інші
Опубліковано: (2018)