Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2025
Heft:	1
Сторінки:	14-22
ISSN:	1727-4907
Автори та афіліації:	V.S. Peschanenko — Kherson State University — ORCID: 0000-0003-1013-9877
1. Verfasser:	Peschanenko, V.S.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 004.2,004.4
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/784
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.
Veröffentlicht: (2013)

Development of agent recommendation system of virtual university based on JADE
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., 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)

Grid application development framework
von: Prila, O.A.
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)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Infrastructure FOR XML-models transformation
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

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

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

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)

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

Compositional-nominative logics over hierarchical data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

Injection of functional dependencies using inversion of control container
von: Glybovets, M.M., et al.
Veröffentlicht: (2019)

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

On unification of processing methods of the structured information
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Entity-substance characteristics of educational environment
von: Parfirova, T.S.
Veröffentlicht: (2026)

Mathematical foundations for designing and development of intelligent systems of information analysis
von: Terletskyi, D.O., et al.
Veröffentlicht: (2025)

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

Designers sets and multisets of objects
von: Terletskyi, D.O.
Veröffentlicht: (2025)

Insertion modeling in distributed system design
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

The Models of DBMS benchmark
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)

About construction of digital library models
von: Reznichenko, V.A., et al.
Veröffentlicht: (2026)

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

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

About bypassing of multivalued dependency in the relational data model
von: Panchenko, B.E.
Veröffentlicht: (2026)

Modelling of customer’s serving in network with single server under conflict situation
von: Ignatenko, O.P.
Veröffentlicht: (2026)

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

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

Technology system integration of hardware and software data protection
von: Alishov, N.I., et al.
Veröffentlicht: (2026)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
von: Levchenko, R.I., et al.
Veröffentlicht: (2026)

Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
von: Rogushina, J.V., et al.
Veröffentlicht: (2025)

Hibrid approach to processing incomplete stream data in distributed real-time systems
von: Zhyliuk, Y., et al.
Veröffentlicht: (2025)

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

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

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

Specialized search engine system of scientific materials in Ukrainian language with social aspects
von: Glybovets, A.M.
Veröffentlicht: (2025)