Buchumschlag

Modeling and verification methods for application design in heterogeneous architectures

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
Hauptverfasser:	S. D. Pohorilyi, M. S. Slynko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2020
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001130006
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Design and Model Justification of GPU-Based Applications
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2018)

Transition systems as method of designing applications in GPGPU technology
von: S. L. Kryvyi, et al.
Veröffentlicht: (2018)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Transition systems as method of designing applications in GPGPU technology
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

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

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

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

Information technologies of application architecture`s IT services
von: Dovgiy, Stanislav O., et al.
Veröffentlicht: (2023)

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

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

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

Prospects of designing small architectural forms using alternative energy sources
von: T. Tkachenko, et al.
Veröffentlicht: (2021)

Prospects of designing small architectural forms using alternative energy sources
von: Tkachenko, Тetiana, et al.
Veröffentlicht: (2021)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

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

Model of information object for digital library and its verification
von: Novitsky, A.V., et al.
Veröffentlicht: (2020)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

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

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

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
von: Iaremchuk, Iu. Е.
Veröffentlicht: (2013)

Institutional and architectural design of organisational development of large-scale economic and industrial systems
von: A. Pylypenko, et al.
Veröffentlicht: (2017)

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

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

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

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (2010)

Development of applications in service-oriented architecture of Semantic Web
von: Deretskiy, V.A.
Veröffentlicht: (2025)

Intercalated nanostructures with hierarchical supramolecular architecture: obtaining, properties, application
von: I. I. Hryhorchak, et al.
Veröffentlicht: (2010)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Analyzing the models of systems with heterogeneous servers
von: A. Z. Melikov, et al.
Veröffentlicht: (2020)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

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

Lamellar heterogeneous objects with interfaces. Using transfer matrices in applications
von: L. B. Lerman
Veröffentlicht: (2016)

Modeling and parameter identification for problems of diffusion in heterogeneous nano multicomposites by gradient method and integral transformation
von: M. R. Petryk
Veröffentlicht: (2015)