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...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/270 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)
Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
за авторством: Zhygallo, A.A.
Опубліковано: (2018)
Equivalence of two parallel execution systems
за авторством: T. V. Panchenko, та інші
Опубліковано: (2018)
за авторством: T. V. Panchenko, та інші
Опубліковано: (2018)
Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)
за авторством: Rahozin, D.V.
Опубліковано: (2020)
Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)
Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)
за авторством: Sydorov, N.A.
Опубліковано: (2021)
Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)
DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)
за авторством: Sydorov, М.О.
Опубліковано: (2019)
Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)
за авторством: Yakimchik, A. I.
Опубліковано: (2019)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
An approach of intelligent searching of information in texts
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)
за авторством: Chebanuyk, O.V.
Опубліковано: (2023)
DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)
The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)
за авторством: Shevchenko, R.S.
Опубліковано: (2024)
Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)
за авторством: Shevchenko, R.S.
Опубліковано: (2018)
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)
50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)
за авторством: Sydorov, N.A.
Опубліковано: (2019)
Principles of designing electromagnetic screens of the resonant type based on liquid protective compositions
за авторством: Tkachenko, Tetiana M., та інші
Опубліковано: (2023)
за авторством: Tkachenko, Tetiana M., та інші
Опубліковано: (2023)
Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)
Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)
The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
ПРУЖНІ ВЛАСТИВОСТІ І ПЛАСТИЧНІСТЬ ПОЛІКРИСТАЛІВ ТА РІЖУЧИХ КОМПОЗИЦІЙНИХ МАТЕРІАЛІВ НА ОСНОВІ КУБІЧНОГО НІТРИДУ БОРУ
за авторством: Запорожець, О. І, та інші
Опубліковано: (2019)
за авторством: Запорожець, О. І, та інші
Опубліковано: (2019)
Automated parallelization of a program for modeling intraparticle diffusion and adsorption in heterogeneous nanoporous media
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)
Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)
A resource limited parallel program model
за авторством: Rahozin, D.V.
Опубліковано: (2019)
за авторством: Rahozin, D.V.
Опубліковано: (2019)
Analysis of suitable converter for the implementation of drive system in solar photovoltaic panels
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
за авторством: Themozhi, G., та інші
Опубліковано: (2024)
Analytical review of approaches to integration of software systems
за авторством: Dyvak, Y.A.
Опубліковано: (2021)
за авторством: Dyvak, Y.A.
Опубліковано: (2021)
Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2016)
Analysis of the stability of water bodies to the action of destabilizing factors
за авторством: Azarov, S.I., та інші
Опубліковано: (2018)
за авторством: Azarov, S.I., та інші
Опубліковано: (2018)
Performance analysis of massively parallel programs for graphics processing units
за авторством: Rahozin, D.V.
Опубліковано: (2023)
за авторством: Rahozin, D.V.
Опубліковано: (2023)