Zobrazeno 1 - 10
of 1 818
pro vyhledávání: '"Equivalence Checking"'
Publikováno v:
In The Journal of Systems & Software July 2024 213
Autor:
Long, Peixun a, b, ⁎, Zhao, Jianjun c
Publikováno v:
In The Journal of Systems & Software May 2024 211
Autor:
Bandukara, M.H. ⁎, 1, Tzevelekos, N.
Publikováno v:
In Journal of Systems Architecture December 2023 145
Autor:
Luis Entrena, Antonio J. Sanchez-Clemente, Luis A. Garcia-Astudillo, Marta Portela-Garcia, Mario Garcia-Valderas, Almudena Lindoso, Roberto Sarmiento
Publikováno v:
IEEE Access, Vol 11, Pp 116127-116140 (2023)
Digital circuits for space applications can suffer from operation failures due to radiation effects. Error detection and mitigation techniques are widely accepted solutions to improve dependability of digital circuits under Single Event Upsets (SEUs)
Externí odkaz:
https://doaj.org/article/d669d315b98c4ebcaa0a8687e60dc387
Publikováno v:
In Journal of Computer and System Sciences March 2021 116:1-21
Publikováno v:
In Procedia Computer Science 2021 192:1659-1669