Symbolic computation system for dynamical application programming

Symbolic computation system for dynamical application programming

The system of symbolical computation intended for embedding in the industrial applications with the purpose of maintenance to their flexibility and tenability on the varied requirements and a condition of functioning is described. The method of immersion of adjusted program systems in industrial com...

Повний опис

Збережено в:

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

Репозитарії

Problems in programming

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

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

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)

Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)

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

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

On incompatibility of a nonlinear equations over set of natural numbers
за авторством: Krivoi, S.L., та інші
Опубліковано: (2015)

Development and substantiation of algorithms based on semantic properties
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025)

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

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

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

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

Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)

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

Application of machine learning to improving numerical weather prediction
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Designing of the specialized computer system for making pulmonology diagnosis
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)

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

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

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)

Simulation and genetic optimization of control systems by LabVIEW programming
за авторством: Zherebko, V.A., та інші
Опубліковано: (2018)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

Development of a spiral model of life cycle of the program systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Encryption system based on abelian groups and rings
за авторством: Kryvyi, S.L.
Опубліковано: (2020)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
за авторством: Prihodko, P.P.
Опубліковано: (2015)

Automatic development of deep neural networks for improving numerical meteorological forecast
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2024)

Autotuner and visualization for meteorological forecasting model
за авторством: Ivanenko, P.A., та інші
Опубліковано: (2025)

Deeplearning-based approach to improving numerical weather forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

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

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

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

Creation of an Internet portal providing meteorological forecasting services on multiprocessor platform
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

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

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

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

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

The usage of computer vision in the system of digital cutting of materials
за авторством: Tumanov, V.V., та інші
Опубліковано: (2018)

Optimization of auto-tuning of programs using neural networks
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)