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...
Збережено в:
| Дата: | 2025 |
|---|---|
| Автори: | Letichevsky, O.A., Letychevskyi, O.O., Peschanenko, V.S., Blynov, I.O., Klionov, D.M. |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/822 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
за авторством: Peschanenko, V.S.
Опубліковано: (2025)
Web service discovery systems in service-oriented architecture: problems and solutions
за авторством: Remarovych, S.S.
Опубліковано: (2017)
за авторством: Remarovych, S.S.
Опубліковано: (2017)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Methods consolidated data processing using dataspaces
за авторством: Shakhovska, N.B.
Опубліковано: (2025)
за авторством: Shakhovska, N.B.
Опубліковано: (2025)
Quality evaluation of consolidated data
за авторством: Shahovska, N.B.
Опубліковано: (2019)
за авторством: Shahovska, N.B.
Опубліковано: (2019)
One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)
Extending UML specification for semantic modeling objects
за авторством: Novitsky, A.V.
Опубліковано: (2018)
за авторством: Novitsky, A.V.
Опубліковано: (2018)
Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)
Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)
за авторством: Maksymets, A.N.
Опубліковано: (2025)
Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)
за авторством: Maksymets, A.N.
Опубліковано: (2025)
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)
за авторством: Maksymets, O.M.
Опубліковано: (2015)
Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Software means of modeling of the vector type of reactive engine control system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)
V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)
за авторством: Andon, P.I.
Опубліковано: (2025)
Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)
за авторством: Prila, O.A.
Опубліковано: (2025)
Intonation expressiveness of the text at program sounding
за авторством: Shevchenko, V.L., та інші
Опубліковано: (2021)
за авторством: Shevchenko, V.L., та інші
Опубліковано: (2021)
The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
Portfolio model for decision process concerning organizational change management
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
Decentralized systems in logistics: usage overview and security issues
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)
за авторством: Letichevsky, O.O., та інші
Опубліковано: (2020)
Challenges and opportunities in the programming environment SEMANTIC WEB
за авторством: Andon, P.I., та інші
Опубліковано: (2015)
за авторством: Andon, P.I., та інші
Опубліковано: (2015)
Application of small language models for semantic analysis of Web interface accessibility
за авторством: Kuzikov, B.O., та інші
Опубліковано: (2025)
за авторством: Kuzikov, B.O., та інші
Опубліковано: (2025)
Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)
Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)
Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)
Fluid models of dynamic scheduling in computer networks
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
за авторством: Іgnatenko, O.P.
Опубліковано: (2025)
Game model of user interaction in heterogeneous distributed environments
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2017)
Information system for hostilities mechanized forces modelling based on ontology
за авторством: Oborska, O.V.
Опубліковано: (2019)
за авторством: Oborska, O.V.
Опубліковано: (2019)
Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)
за авторством: Zherebko, V.A.
Опубліковано: (2025)
Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)
Technological solutions for intelligent analysis of Big Data. Programming languages
за авторством: Grishanova, I.Y., та інші
Опубліковано: (2019)
за авторством: Grishanova, I.Y., та інші
Опубліковано: (2019)
Software SERC for Monte Carlo Error analysis of fault-tolerant multiprocessor systems reliability estimation
за авторством: Feseniuk, A.P.
Опубліковано: (2018)
за авторством: Feseniuk, A.P.
Опубліковано: (2018)
Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
Схожі ресурси
-
Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025) -
Web service discovery systems in service-oriented architecture: problems and solutions
за авторством: Remarovych, S.S.
Опубліковано: (2017) -
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018) -
Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024) -
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)