Analysis of existing parallel programs verification technologies

Analysis of existing parallel programs verification technologies

Bibliographic Details
Main Authors:	Olha Yuriivna Moroz, Olena Gennadiivna Tolstoluzka, Roman Valeriyovich Savchenko
Format:	Article
Language:	English
Published:	V. N. Karazin Kharkiv National University 2020-06-01
Series:	Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління

Similar Items

PARALLEL IMPLEMENTATION OF THE METHOD OF GRADIENT BOOSTING
by: Olena Tolstoluzka, et al.
Published: (2018-11-01)

Compile-time analysis of array sections for parallelization and parallel program verification
by: Manjunathaiah, M.
Published: (1996)

Verification of Task Parallel Programs Using Predictive Analysis
by: Nakade, Radha Vi
Published: (2016)

VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS
by: M. A. Lukin
Published: (2014-01-01)

Scalable verification techniques for data-parallel programs
by: Chong, Nathan
Published: (2014)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)

Deductive Verification of Parallel Programs Using Why3
by: César Santos, et al.
Published: (2015-08-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2012-01-01)

РІШЕННЯ ЗАДАЧІ КЛАСИФІКАЦІЇ В E-LEARNING НА ОСНОВІ МЕТОДУ ПАРАЛЕЛЬНОЇ ПОБУДОВИ ДЕРЕВ РІШЕНЬ
by: Olena Tolstoluzka, et al.
Published: (2018-08-01)

Computer model of accounting of the scientific activity of the education system
by: Afanasieva K., et al.
Published: (2019-09-01)

Implementation of technologies for image-bildingu cities local authorities
by: Olena Yuriivna Bobrovska, et al.
Published: (2013-11-01)

Parallel Run-Time Verification
by: Berkovich, Shay
Published: (2013)

Parallel Run-Time Verification
by: Berkovich, Shay
Published: (2013)

Innovational forms of scientific old-printed editions catalogues preparation on the example of the Poetry in Ukrainian Old-Printed Editions project
by: Kurhanova Olena Yuriivna
Published: (2018-01-01)

Parallel programming technologies on computer complexes
by: S. A. Pryadko, et al.
Published: (2020-09-01)

Improved image analysis for signature verification incorporating parallel implementation
by: Joseph, Younglae
Published: (1995)

Dynamics Verification Experiment of the Stewart Parallel Manipulator
by: Zhu-Feng Shao, et al.
Published: (2015-10-01)

PARALLELIZED ROBUSTNESS COMPUTATION FOR CYBER PHYSICALSYSTEMS VERIFICATION
by: Cralley, Joseph
Published: (2020)

Automatic Partitioner for Distributed Parallel Verification Simulation
by: Jeh-Yen Kang, et al.
Published: (2008)

Kinematic Analysis and Verification of a New 5-DOF Parallel Mechanism
by: Yesong Wang, et al.
Published: (2021-09-01)

Parallelized Program Analysis
by: Edvinsson, Marcus
Published: (2010)

Verification of Actual Prestressing in Existing Pre-Tensioned Members
by: Jakub Kraľovanec, et al.
Published: (2021-06-01)

Existence Of Agreement In Foreign Language In The Process Of Verification In The Court
by: Yuhelson Yuhelson, et al.
Published: (2020-09-01)

Enhanced Automatic Verification Program Generator and Coverage Analysis for Compatible Microprocessor Verification
by: Winlu Yang, et al.
Published: (1999)

Parallel logical control algorithms: verification and hardware implementation
by: A.Zakrevskij
Published: (1996-07-01)

Vérification des propriétés temporelles des programmes parallèles
by: Mateescu, Radu
Published: (1998)

TECHNOLOGY DEVELOPMENT OF PARALLEL PROGRAMS FOR MODERN MULTICORE PROCESSORS
by: Aleksandr V. Bakulev, et al.
Published: (2016-08-01)

Abstraction in program verification
by: Latham, J. T.
Published: (1985)

STRUCTURED-VERIFICATION-OF-PROGRAMS
by: Lu, Zhao-Zhong, et al.

Thermal verification of programs
by: Koskinen, Eric John
Published: (2013)

Verification of graph programs
by: Poskitt, Christopher M.
Published: (2013)

Review and verification of marine riser analysis programs
by: Zhan, Jin Ping
Published: (2010)

Does the Diversification Discount Exist? Verification of American Listed Companies
by: Hung, Yi-Tzu, et al.
Published: (2015)

Verification of Current Approaches for Seismic Evaluation of Existing Concrete Buildings
by: Sheng-en Chen, et al.
Published: (2012)

Visual Parallel Programming as PaaS cloud service with Graph-Symbolic Programming Technology
by: Darya Egorova, et al.
Published: (2018-10-01)

Integrating New Technologies and Existing Tools to Promote Programming Learning
by: Álvaro Santos, et al.
Published: (2010-04-01)

Verification of the Parallel Transport Codes Parafish and AZTRAN with the TAKEDA Benchmarks
by: Duran-Gonzalez, J., et al.
Published: (2022)

Verification of systems with behavior parallelism on the basis of the graph of reachable states
by: Yu. V. Pottosin, et al.
Published: (2019-06-01)

Analysis and Verification on SQLIA Vulnerability for Java EE Programs
by: GUO Fan, FAN Weiwei
Published: (2021-02-01)

On Construction and Verification of PLC-Programs
by: E. V. Kuzmin, et al.
Published: (2015-02-01)