Formal methods of parallel software design automation

Formal methods of parallel software design automation

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
Hauptverfasser:	Yu. Doroshenko, O. A. Yatsenko
Format:	Artikel
Sprache:	English
Veröffentlicht:	2020
Schriftenreihe:	Reports of the National Academy of Sciences of Ukraine
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001106105
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Formal methods of parallel software design automation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2020)

Formal and adaptive methods and software tools of parallel programming
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Automated design of programs for .NET platform using Task Parallel Library
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

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

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

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

Automated development of a parallel distributed system for streaming data processing
von: D. S. Titov, et al.
Veröffentlicht: (2016)

Automated development of a parallel distributed system for streaming data processing
von: Titov, D.S., et al.
Veröffentlicht: (2018)

Parallel software auto-tuning using statistical modeling and machine learning
von: Yu. Doroshenko, et al.
Veröffentlicht: (2018)

A method of automated design of neuroevolution algorithms based on Glushkov algebra of algorithms
von: I. P. Sinitsyn, et al.
Veröffentlicht: (2023)

Automated program design for solution of weather forecasting problem
von: Yu. Doroshenko, et al.
Veröffentlicht: (2016)

Automated design of OpenCL programs based on algebra-algorithmic approach
von: Yu. Doroshenko, et al.
Veröffentlicht: (2019)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.
Veröffentlicht: (2018)

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Automated design of OpenCL programs based on algebra-algorithmic approach
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

Methodical Aspects of the Conceptual Design of Automated Systems
von: Samokhvalov, Yu. Ya., et al.
Veröffentlicht: (2012)

Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: Aidazade, Kamil, et al.
Veröffentlicht: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: Aidazade, K.R., et al.
Veröffentlicht: (2017)

On Methods of Controlling Optimization Software Packages with the Application of Parallel Computing
von: K. R. Aidazade, et al.
Veröffentlicht: (2017)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

Automated design of an artificial neuron for field-programmable gate arrays based on an algebra-algorithmic approach
von: Yu. Doroshenko, et al.
Veröffentlicht: (2022)

Formal foundations for software model to model transformation operation
von: O. V. Chebanyuk
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

A parallel search algorithm for formal grammar data types
von: A. Prodan
Veröffentlicht: (2018)

Choice of software to ensure automation of debtors management
von: L. Kruchak
Veröffentlicht: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Automated hardware and software system for the assessment of human health
von: S. I. Lukash, et al.
Veröffentlicht: (2015)

System of automated software control of the antenna system of the satellite
von: Єгоров, В.О.
Veröffentlicht: (2024)

Registration of the parameters of the automated software and hardware complex for medical application
von: V. H. Slipchenko, et al.
Veröffentlicht: (2018)

Registration of the parameters of the automated software and hardware complex for medical application
von: Slipchenko, V. G., et al.
Veröffentlicht: (2018)

Optimization of the apparatus-programmings software for automation of the SF-20 spectrophotometer
von: A. I. Vorobets, et al.
Veröffentlicht: (2006)

Forming of software environments for support of tasks of automation of scientific researchers
von: V. Li, et al.
Veröffentlicht: (2014)

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
von: Milykh, V. I., et al.
Veröffentlicht: (2015)

Software system for automated data interpretation of potential fields (GMT-Auto)
von: V. I. Starostenko, et al.
Veröffentlicht: (2015)

Algorithm for automatic loop parallelization for graphics processing units
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)