Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.41,004.51
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/822
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

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

Web service discovery systems in service-oriented architecture: problems and solutions
by: Remarovych, S.S.
Published: (2017)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

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

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Methods consolidated data processing using dataspaces
by: Shakhovska, N.B.
Published: (2025)

Quality evaluation of consolidated data
by: Shahovska, N.B.
Published: (2019)

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

Grid application development framework
by: Prila, O.A.
Published: (2025)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

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

Conflict controlled network modeling: evolutionary games approach
by: Ignatenko, O.P., et al.
Published: (2019)

Game model of user interaction in heterogeneous distributed environments
by: Ignatenko, O.P., et al.
Published: (2017)

Fluid models of dynamic scheduling in computer networks
by: Іgnatenko, O.P.
Published: (2025)

Information system for hostilities mechanized forces modelling based on ontology
by: Oborska, O.V.
Published: (2019)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

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

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

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)

Portfolio model for decision process concerning organizational change management
by: Slabospitskaya, O.A.
Published: (2017)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

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)

Challenges and opportunities in the programming environment SEMANTIC WEB
by: Andon, P.I., et al.
Published: (2015)

Mixed topic-entity ontology for enhanced topic vector-spaced model
by: Shabinskiy, A.S.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

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

Intonation expressiveness of the text at program sounding
by: Shevchenko, V.L., et al.
Published: (2021)

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

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

Implementation the concept of adaptive broadcast system and automatic preparation of content
by: Provotar, O.I., et al.
Published: (2025)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

Automated translation from Ukrainian to sign language: algorithmic implementation
by: Krak, Yu.V., et al.
Published: (2025)

Building automated monitoring systems structural elements method MDP-planning
by: Dosin, D.G., et al.
Published: (2019)

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

Extending UML specification for semantic modeling objects
by: Novitsky, A.V.
Published: (2018)