Buchumschlag

Models of concurrent program running in resource constrained environment

The paper considers concurrent program modeling using resource constrained automatons. Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes model...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	Rahozin, D.V.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2020
Schlagworte:	concurrent programs program annotation software modeling automatons UDC 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/406
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Models of concurrent program running in resource constrained environment
von: D. Rahozin
Veröffentlicht: (2020)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Performance analysis of massively parallel programs for graphics processing units
von: Rahozin, D.V.
Veröffentlicht: (2023)

A resource limited parallel program model
von: Rahozin, D.V.
Veröffentlicht: (2019)

Model program, systems and operational environments
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Description model of programming style ecosystem
von: Sydorov, N.A., et al.
Veröffentlicht: (2020)

Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

One model of optimal resource allocation in homogeneous multiprocessor system
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2017)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
von: Masalitina, N.N., et al.
Veröffentlicht: (2025)

Component of programming. Theory and implementation
von: Lavrischeva, K.M.
Veröffentlicht: (2015)

AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
von: Milykh, V. I., et al.
Veröffentlicht: (2015)

The algebraic model refactoring of components
von: Grischenko, V.N.
Veröffentlicht: (2015)

Conceptual models of distributed component systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)

Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)

Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

On some technology of project modeling of stochastic manufacturing technological processes
von: Maksimey, I.V., et al.
Veröffentlicht: (2015)

Virtualization of models of technical plants in educational and research problems in the development of control systems
von: Zherebko, V.A.
Veröffentlicht: (2017)

Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
von: Marchenko, O.O.
Veröffentlicht: (2025)

Support for the management of variability in the family of software systems
von: Kolesnik, A.L.
Veröffentlicht: (2015)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
von: Voznyuk, T.G.
Veröffentlicht: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Conception of industry scientific software to decision scientific tasks
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)