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

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.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 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)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

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

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2026)

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

Facilities for service-oriented programming of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

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

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

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

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

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

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

The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

High level facilities for design automation of parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

Specialized software modelling comlex "Physiolresp"
за авторством: Grigiryan, R.D., та інші
Опубліковано: (2026)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

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

Generayive programming of program systems and their families
за авторством: Lavrisheva, K.M.
Опубліковано: (2026)

Approach to programming of applications with using of Semantic Web-services
за авторством: Deretsky, V.A.
Опубліковано: (2026)

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

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

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

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

Development of highly-parallel applications for graphical processing units using rewriting rules
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

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

Model program, systems and operational environments
за авторством: 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)

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)

AWP – instrument for project and programming complex systems on the base system analisys
за авторством: Antonov, V.M., та інші
Опубліковано: (2026)

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