Зображення обкладинки

Modeling and verification methods for application design in heterogeneous architectures

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	S. D. Pohorilyi, M. S. Slynko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Cybernetics and Systems Analysis
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001130006
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Design and Model Justification of GPU-Based Applications
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2018)

Transition systems as method of designing applications in GPGPU technology
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2018)

Deductive verification of requirements for event-driven architecture
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Design methodology of multimedia applications for gaming engines with a component-oriented architectural stile
за авторством: Bezditnyi, V.M., та інші
Опубліковано: (2024)

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
за авторством: A. V. Davydiuk, та інші
Опубліковано: (2021)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
за авторством: Давидюк, А. В., та інші
Опубліковано: (2021)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Information technologies of application architecture`s IT services
за авторством: Dovgiy, Stanislav O., та інші
Опубліковано: (2023)

Research and development of Johnson&#039;s algorithm parallel schemes in GPGPU technology
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2016)

Application Results of Dry Method Verification for Post-Combustion Capture Control of Sulfur Removal in Low-Power Boilers
за авторством: A. V. Gorbunov, та інші
Опубліковано: (2015)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)

Forming of the approach to verification of power system dynamic model
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Prospects of designing small architectural forms using alternative energy sources
за авторством: Tkachenko, Тetiana, та інші
Опубліковано: (2021)

Prospects of designing small architectural forms using alternative energy sources
за авторством: T. Tkachenko, та інші
Опубліковано: (2021)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
за авторством: Iaremchuk, Iu. Е.
Опубліковано: (2013)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
за авторством: V. A. Berezos
Опубліковано: (2010)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
за авторством: Huang, S.H., та інші
Опубліковано: (2019)

Institutional and architectural design of organisational development of large-scale economic and industrial systems
за авторством: A. Pylypenko, та інші
Опубліковано: (2017)

Development of applications in service-oriented architecture of Semantic Web
за авторством: Deretskiy, V.A.
Опубліковано: (2025)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Highly productive methods to model the adsorption with feedback in heterogeneous multicomponent nanoporous media
за авторством: M. R. Petryk, та інші
Опубліковано: (2022)

Intelligent decision support system for epidemiological diagnostics. I. A concept of architecture design
за авторством: K. O. Bazilevych, та інші
Опубліковано: (2022)

Intercalated nanostructures with hierarchical supramolecular architecture: obtaining, properties, application
за авторством: I. I. Hryhorchak, та інші
Опубліковано: (2010)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Analyzing the models of systems with heterogeneous servers
за авторством: A. Z. Melikov, та інші
Опубліковано: (2020)

C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008)

Lamellar heterogeneous objects with interfaces. Using transfer matrices in applications
за авторством: L. B. Lerman
Опубліковано: (2016)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)