Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	Doroshenko, A.Yu., Shevchenko, R.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	UDC 51.681.03
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/24
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)

Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)

Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Developing software model of neural network PID controller in LabVIEW
by: Zherebko, V.A., et al.
Published: (2025)

Software model of genetic optimizer for regular neural networks in LabVIEW
by: Zherebko, V.A.
Published: (2025)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)

About relational-object mapping technique
by: Lihatsky, I.A.
Published: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
by: Krivoi, S.L., et al.
Published: (2015)

Development and substantiation of algorithms based on semantic properties
by: Kryvyi, S.L., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

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

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Designing of the specialized computer system for making pulmonology diagnosis
by: Komlevaya, N.O., et al.
Published: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Development of a spiral model of life cycle of the program systems
by: Alekseev, V.A., et al.
Published: (2015)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Model of the "department" ecosystem
by: Kryvyi, S.L., et al.
Published: (2024)

Application of machine learning to improving numerical weather prediction
by: Doroshenko, А.Yu., et al.
Published: (2020)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
by: Prihodko, P.P.
Published: (2015)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Autotuner and visualization for meteorological forecasting model
by: Ivanenko, P.A., et al.
Published: (2025)

Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)

Simulation and genetic optimization of control systems by LabVIEW programming
by: Zherebko, V.A., et al.
Published: (2018)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)