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)

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

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

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

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)

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

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

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

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

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

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

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

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

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

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

An approach of intelligent searching of information in texts
von: Chebanuyk, O.V.
Veröffentlicht: (2023)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

On the possibility of a systematic study of the production management systems
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

The software tool of constructive-synthesizing modeling
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2024)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

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

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

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

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

50 years of software engineering
von: Sydorov, N.A.
Veröffentlicht: (2019)

Semantics and pragmatics of programming language ASAMPL
von: Sulema, Y.S., et al.
Veröffentlicht: (2020)

Protecting public clients using an authorization algorithm
von: Bodak, B.V., et al.
Veröffentlicht: (2023)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

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

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

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

The grammar of Petri-object model visual programming language
von: Dyfuchyn, А.J., et al.
Veröffentlicht: (2022)

Analytical review of approaches to integration of software systems
von: Dyvak, Y.A.
Veröffentlicht: (2021)

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