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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	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

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

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

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

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

Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)

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

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

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

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Quality evaluation of consolidated data
за авторством: Shahovska, N.B.
Опубліковано: (2019)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

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

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

WEB-system for the level of regional development evaluation
за авторством: Pursky, O.I., та інші
Опубліковано: (2020)

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)

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)

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

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

About development of an ontological toolkit
за авторством: Palagin, A.V., та інші
Опубліковано: (2015)

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

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

Information technology for the development and analysis of models of subject areas for their study
за авторством: Lyubchenko, V.V.
Опубліковано: (2015)

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

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

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

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

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

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

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

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

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)

Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2017)

Extension of the program synthesis system to analyze large data sets
за авторством: Ovdii, O.M.
Опубліковано: (2018)

Use of ontological analysis for competence evaluation of scientists in a particular subject domain
за авторством: Rogushina, J.V.
Опубліковано: (2018)

Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)