Cover Image

Modeling and verification methods for application design in heterogeneous architectures

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	S. D. Pohorilyi, M. S. Slynko
Format:	Article
Language:	English
Published:	2020
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001130006
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Design and Model Justification of GPU-Based Applications
by: S. D. Pohorilyi, et al.
Published: (2018)

Transition systems as method of designing applications in GPGPU technology
by: S. L. Kryvyi, et al.
Published: (2018)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Design methodology of multimedia applications for gaming engines with a component-oriented architectural stile
by: Bezditnyi, V.M., et al.
Published: (2024)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Architectural design of E1 distributed operating system
by: Ryzhyk, L.B., et al.
Published: (2005)

Research and development of Johnson&#039;s algorithm parallel schemes in GPGPU technology
by: S. D. Pohorilyi, et al.
Published: (2016)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

Information technologies of application architecture`s IT services
by: Dovgiy, Stanislav O., et al.
Published: (2023)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
by: A. V. Davydiuk, et al.
Published: (2021)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
by: Давидюк, А. В., et al.
Published: (2021)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Application Results of Dry Method Verification for Post-Combustion Capture Control of Sulfur Removal in Low-Power Boilers
by: A. V. Gorbunov, et al.
Published: (2015)

Prospects of designing small architectural forms using alternative energy sources
by: T. Tkachenko, et al.
Published: (2021)

Prospects of designing small architectural forms using alternative energy sources
by: Tkachenko, Тetiana, et al.
Published: (2021)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
by: Iaremchuk, Iu. Е.
Published: (2013)

Highly productive methods to model the adsorption with feedback in heterogeneous multicomponent nanoporous media
by: M. R. Petryk, et al.
Published: (2022)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
by: Huang, S.H., et al.
Published: (2019)

Intelligent decision support system for epidemiological diagnostics. I. A concept of architecture design
by: K. O. Bazilevych, et al.
Published: (2022)

Institutional and architectural design of organisational development of large-scale economic and industrial systems
by: A. Pylypenko, et al.
Published: (2017)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

Development of applications in service-oriented architecture of Semantic Web
by: Deretskiy, V.A.
Published: (2025)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Intercalated nanostructures with hierarchical supramolecular architecture: obtaining, properties, application
by: I. I. Hryhorchak, et al.
Published: (2010)

Analyzing the models of systems with heterogeneous servers
by: A. Z. Melikov, et al.
Published: (2020)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

C# program verification problems: solution by a three-level method
by: Promsky, A.V.
Published: (2008)