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

Partial evaluation in insertion modeling system

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of insertion modeling are stated. The main features of partial evaluation are descri...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	PROBLEMS IN PROGRAMMING
Дата:	2025
Випуск:	1
Сторінки:	14-22
ISSN:	1727-4907
Автори та афіліації:	V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877
Автор:	Peschanenko, V.S.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.2,004.4
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/784
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.
Опубліковано: (2013)

Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Grid application development framework
за авторством: Prila, O.A.
Опубліковано: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Infrastructure FOR XML-models transformation
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

Compositional-nominative logics over hierarchical data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

Injection of functional dependencies using inversion of control container
за авторством: Glybovets, M.M., та інші
Опубліковано: (2019)

V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)

On unification of processing methods of the structured information
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)

Entity-substance characteristics of educational environment
за авторством: Parfirova, T.S.
Опубліковано: (2026)

Information system for hostilities mechanized forces modelling based on ontology
за авторством: Oborska, O.V.
Опубліковано: (2019)

Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)

Insertion modeling in distributed system design
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

The Models of DBMS benchmark
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

About construction of digital library models
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2026)

Methods consolidated data processing using dataspaces
за авторством: Shakhovska, N.B.
Опубліковано: (2025)

Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)

About bypassing of multivalued dependency in the relational data model
за авторством: Panchenko, B.E.
Опубліковано: (2026)

Modelling of customer’s serving in network with single server under conflict situation
за авторством: Ignatenko, O.P.
Опубліковано: (2026)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Approaches to realization Yen’s algorithm for systems with the shared memory
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Technology system integration of hardware and software data protection
за авторством: Alishov, N.I., та інші
Опубліковано: (2026)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
за авторством: Rogushina, J.V., та інші
Опубліковано: (2025)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

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

Building automated monitoring systems structural elements method MDP-planning
за авторством: Dosin, D.G., та інші
Опубліковано: (2019)

Implementation the concept of adaptive broadcast system and automatic preparation of content
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)