Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2015
Heft:	4
ISSN:	1727-4907
Автори та афіліації:	A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine R.S. Shevchenko — Institute of Software Systems NAS of Ukraine
Hauptverfasser:	Doroshenko, A.Yu., Shevchenko, R.S.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	UDC 51.681.03
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/24
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

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

Facilities for service-oriented programming of parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2026)

Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

Formal-logical approach to building analysis systems of knowledge in different domains
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Designing of the specialized computer system for making pulmonology diagnosis
von: Komlevaya, N.O., et al.
Veröffentlicht: (2025)

Specialized software modelling comlex "Physiolresp"
von: Grigiryan, R.D., et al.
Veröffentlicht: (2026)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

High level facilities for design automation of parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)

Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)

The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Generayive programming of program systems and their families
von: Lavrisheva, K.M.
Veröffentlicht: (2026)

Approach to programming of applications with using of Semantic Web-services
von: Deretsky, V.A.
Veröffentlicht: (2026)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

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

Development of highly-parallel applications for graphical processing units using rewriting rules
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

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

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

AWP – instrument for project and programming complex systems on the base system analisys
von: Antonov, V.M., et al.
Veröffentlicht: (2026)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)