Zobrazeno 1 - 10
of 2 642
pro vyhledávání: '"Model of computation"'
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:
IEEE Access, Vol 9, Pp 60617-60628 (2021)
Autonomous vehicle (AV) technology started to shift the perception of the transportation systems. However, for AVs to operate at their optimum capabilities, they need to go through a comprehensive testing and verification process. While a large amoun
Externí odkaz:
https://doaj.org/article/1b6903f331df4e33a069488ef5c08f7e
Publikováno v:
Scientific Annals of Computer Science, Vol XXIX, Iss 2, Pp 113-139 (2019)
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and
Externí odkaz:
https://doaj.org/article/601df646d910467181b00795d048c4f1
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:
Proceedings of the XXth Conference of Open Innovations Association FRUCT, Vol 562, Iss 21, Pp 422-427 (2017)
In this paper we deal with System-on-Chip (SoC) system (transaction and higher abstraction) level modeling. The traditional approach based on libraries of custom IPs and SystemC/TLM-2.0 framework is saddled with issues, which prevents wider dissemina
Externí odkaz:
https://doaj.org/article/f4f60a21659d4dfbafe8d156409bc508
Autor:
Khachiyan, Leonid G.
Publikováno v:
Mathematics of Operations Research, 1996 May 01. 21(2), 307-320.
Externí odkaz:
https://www.jstor.org/stable/3690235
Publikováno v:
IEEE Transactions on Computers. 71:1170-1180
The Hidden Weighted Bit function plays an important role in the study of classical models of computation. A common belief is that this function is exponentially hard for the implementation by reversible ancilla-free circuits, even though introducing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dda6deec30cbf419f49e85fbd279890
https://doi.org/10.1109/tc.2021.3076435
https://doi.org/10.1109/tc.2021.3076435
Publikováno v:
IEEE Internet of Things Journal. 9:5600-5616
Nowadays, with the explosive growth of sensor-based devices connected to Internet of Thing (IoT), massive amount of data are generated every day with potential tremendous value. We argue that the value of those data can be extracted through monetize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b0948cca4e0da5ceacee7933d376e06
https://doi.org/10.1109/jiot.2020.3039828
https://doi.org/10.1109/jiot.2020.3039828
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:
IEEE Access, Vol 9, Pp 60617-60628 (2021)
Autonomous vehicle (AV) technology started to shift the perception of the transportation systems. However, for AVs to operate at their optimum capabilities, they need to go through a comprehensive testing and verification process. While a large amoun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bd2704f169852c55194f0d33dd250d5
https://ieeexplore.ieee.org/document/9406805/
https://ieeexplore.ieee.org/document/9406805/