Zobrazeno 1 - 10
of 90
pro vyhledávání: '"hardware model"'
Publikováno v:
IEEE Access, Vol 12, Pp 119341-119349 (2024)
Bounded Model Checking (BMC) is one of the most prominent approaches used as a falsification engine, capable of identifying counterexamples of bounded length, in a scalable and sustainable way. Nevertheless, in the context of a portfolio-based verifi
Externí odkaz:
https://doaj.org/article/d9d4a4c92ca04fbfaa5b0ee6a20cb684
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Heliyon, Vol 9, Iss 3, Pp e13387- (2023)
This paper proposed an offset measured least regression based ALO to solve ORPD and ELD problems of IEEE 57 bus system designed with different transmission line models. These two problems are highly non-linear and non-convex defiance optimization of
Externí odkaz:
https://doaj.org/article/346c0be8a0af4933ab27ab79d1e8f8fe
Publikováno v:
هوش محاسباتی در مهندسی برق, Vol 13, Iss 1, Pp 19-26 (2022)
The stochastic neuron has great importance in neural networks and is one of the most important subjects in machine learning algorithms. Hardware implementation of neural networks has always been of interest to researchers and can significantly increa
Externí odkaz:
https://doaj.org/article/ad9dc42be7f14c2382461fcb31a723c5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Formal Methods in System Design. 60:117-146
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50920dd0eb782a05483b470f6899a889
https://doi.org/10.1007/s10703-022-00406-7
https://doi.org/10.1007/s10703-022-00406-7
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.