Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Peschanenko, V.S.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.2,004.4
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/784
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

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

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

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

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

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
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)

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

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

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Infrastructure FOR XML-models transformation
by: Glybovets, M.M., et al.
Published: (2025)

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

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)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

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

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

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

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

Injection of functional dependencies using inversion of control container
by: Glybovets, M.M., et al.
Published: (2019)

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

On unification of processing methods of the structured information
by: Doroshenko, A.Yu., et al.
Published: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
by: Terletskyi, D.O., et al.
Published: (2025)

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

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Information technology for the development and analysis of models of subject areas for their study
by: Lyubchenko, V.V.
Published: (2015)

Designers sets and multisets of objects
by: Terletskyi, D.O.
Published: (2025)

WEB-system for the level of regional development evaluation
by: Pursky, O.I., et al.
Published: (2020)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

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

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

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

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

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

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

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)

Approaches to realization Yen’s algorithm for systems with the shared memory
by: Pogorilyy, S.D., et al.
Published: (2025)