Buchumschlag

Model-driven development of digital system algorithms on programmable logic integrated circuits

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
Hauptverfasser:	O. O. Letychevskyi, V. S. Peschanenko, V. S. Kharchenko, V. A. Volkov, O. M. Odarushchenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2020
Schriftenreihe:	Cybernetics and Systems Analysis
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001152216
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

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

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

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

Eight-channel spectrometric ADC with programmable logic
von: A. P. Vojter, et al.
Veröffentlicht: (2016)

Integration approach to formation of the programme of the development of grain multifunctional cooperatives in Ukraine
von: O. V. Nikishyna
Veröffentlicht: (2018)

Insertion semantics of VHDL as electronic design languge
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

Innovation-Driven Development of Ukraine in the European Integration Context
von: V. M. Holovatiuk
Veröffentlicht: (2017)

Qubit method for deductive fault analysis of logic circuits
von: V. I. Khakhanov, et al.
Veröffentlicht: (2017)

Optimisation of the investment programme of the region development
von: V. V. Ohlikh, et al.
Veröffentlicht: (2013)

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

Programm
Veröffentlicht: (2013)

Programm
Veröffentlicht: (2014)

Technology synthesis control algorithm to ensure stabilization of remotely piloted aircraft for operational programmable trajectories
von: O. A. Mashkov, et al.
Veröffentlicht: (2019)

Algorithms for solutions inference based on unified logical control models
von: A. E. Litvinenko
Veröffentlicht: (2020)

Integral models in the problems of analysis of electrical circuits
von: A. F. Verlan, et al.
Veröffentlicht: (2016)

Automation of digital filter circuit structural transformations
von: V. S. Sitnikov, et al.
Veröffentlicht: (2002)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

Automated design of an artificial neuron for field-programmable gate arrays based on an algebra-algorithmic approach
von: Yu. Doroshenko, et al.
Veröffentlicht: (2022)

Experimental Verification of the Self-Driven Algorithms for Solving Max-Sum Labeling Problems
von: V. M. Krygin, et al.
Veröffentlicht: (2023)

Fuzzy logic based edge detection in digital images
von: O. I. Moroz
Veröffentlicht: (2016)

Programme of Training Preparation
von: V. I. Kovalova, et al.
Veröffentlicht: (2013)

Scientific Programme
Veröffentlicht: (2003)

Integration of the description logics axiomatic into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Integration of the description logics axiomatic into relational data model
von: I. S. Chistjakova
Veröffentlicht: (2017)

Self-driven algorithm for solving supermodular (max, +) labeling problems based on subgradient descent
von: V. M. Kryhin, et al.
Veröffentlicht: (2022)

Fault Detection in CombinationalLogic Circuits Based on Symmetrically Independent Outputs Groups Checking
von: V. V. Sapozhnikov, et al.
Veröffentlicht: (2020)

Integration of the family of extended description logic languages with relational data model
von: Reznichenko, V.A., et al.
Veröffentlicht: (2018)

Integration of the family of extended description logic languages with relational data model
von: V. A. Reznichenko, et al.
Veröffentlicht: (2016)

Automatic programmable air ozonizer
von: Gubarev, S.P., et al.
Veröffentlicht: (2015)

The hierarchical model of fuzzy logic output formalization for digital systems evaluating mine workings stability
von: A. I. Slashchev, et al.
Veröffentlicht: (2019)

Complex of computer programs for modeling the dynamics electrical circuits on the basis of integrated models
von: K. M. Kliuchka
Veröffentlicht: (2013)

The looking for new possibilities of improvement of receiving-detecting circuit for digital radiographic systems with advanced spatial resolution
von: Ryzhikov, V.D., et al.
Veröffentlicht: (2011)

Modelling of two-zone accelerator-driven systems
von: V. A. Babenko, et al.
Veröffentlicht: (2012)

Digital Program Control and Complex Component Processing in Performance-Driven Production Engineering
von: Petrova, Desislava, et al.
Veröffentlicht: (2025)

Modern methods and software systems of molecular modeling and application of behavior algebra
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

Substantiation of fuzzy logic algorithms for control problems of a geotechnical systems
von: A. I. Slashchov, et al.
Veröffentlicht: (2019)

Integration of the description logics with operations at role constructors into relational data model
von: Chystiakova, I.S.
Veröffentlicht: (2018)

Integration of the description logics with operations at role constructors into relational data model
von: I. S. Chistjakova
Veröffentlicht: (2016)

Ukraine in the Creative Europe Programme by EU
von: T. V. Solomenna
Veröffentlicht: (2021)