Buchumschlag

Constraint programming in insertion modeling system

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Inser...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
Hauptverfasser:	Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.41,004.51
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/822
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)

Web service discovery systems in service-oriented architecture: problems and solutions
von: Remarovych, S.S.
Veröffentlicht: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

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

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
von: Nesterenko, K.P., et al.
Veröffentlicht: (2024)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

Methods consolidated data processing using dataspaces
von: Shakhovska, N.B.
Veröffentlicht: (2025)

Quality evaluation of consolidated data
von: Shahovska, N.B.
Veröffentlicht: (2019)

Grid application development framework
von: Prila, O.A.
Veröffentlicht: (2025)

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

Fluid models of dynamic scheduling in computer networks
von: Іgnatenko, O.P.
Veröffentlicht: (2025)

Information system for hostilities mechanized forces modelling based on ontology
von: Oborska, O.V.
Veröffentlicht: (2019)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

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

Optimization of parallel perceptron for central processing units
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Portfolio model for decision process concerning organizational change management
von: Slabospitskaya, O.A.
Veröffentlicht: (2017)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

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

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

Challenges and opportunities in the programming environment SEMANTIC WEB
von: Andon, P.I., et al.
Veröffentlicht: (2015)

Mixed topic-entity ontology for enhanced topic vector-spaced model
von: Shabinskiy, A.S.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

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

Intonation expressiveness of the text at program sounding
von: Shevchenko, V.L., et al.
Veröffentlicht: (2021)

A peer-to-peer topology and multicasting algorithm with guaranteed quality of experi-ence
von: Hordiichuk, O.V., et al.
Veröffentlicht: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Extending UML specification for semantic modeling objects
von: Novitsky, A.V.
Veröffentlicht: (2018)

Implementation the concept of adaptive broadcast system and automatic preparation of content
von: Provotar, O.I., et al.
Veröffentlicht: (2025)

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

Automated translation from Ukrainian to sign language: algorithmic implementation
von: Krak, Yu.V., et al.
Veröffentlicht: (2025)

Building automated monitoring systems structural elements method MDP-planning
von: Dosin, D.G., et al.
Veröffentlicht: (2019)

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