Buchumschlag

Equivalence of two parallel execution systems

The method for properties proof for parallel programs running multiple-instance interleaving with shared memory is investigated. Two systems for parallel execution of programs are considered and the justification of the mutual expressiveness of these two approaches are presented in this paper. The f...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
Hauptverfasser:	Panchenko, T.V., Fabunmi, S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	software correctness safety property proof concurrent program interleaving IPCL composition-nominative languages formal verification UDC 004.415 681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/270
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

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

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

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

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

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

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

Parallel non-negative sparse extra-large matrix factorization
von: Nasirov, E.M.
Veröffentlicht: (2025)

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

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

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

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

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

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

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

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

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

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

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

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

Comparative characteristics of methods of object-relational mapping
von: Lihatsky, I.A.
Veröffentlicht: (2025)

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

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

Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
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)

Service-oriented, distributed real-time systems in digital libraries
von: Novitsky, O.V.
Veröffentlicht: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
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)

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

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)

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

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

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
von: Назиров, Ш. А., et al.
Veröffentlicht: (2016)

Algorithmization of the decision of magneto-elasticity thin bodies problems with the help of the R-functions method
von: Назиров, Ш. А., et al.
Veröffentlicht: (2016)

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)