Zobrazeno 1 - 10
of 1 204
pro vyhledávání: '"B.5.3"'
Autor:
Ryan, Kaki, Sturton, Cynthia
Symbolic execution is a powerful verification tool for hardware designs, but suffers from the path explosion problem. We introduce a new approach, piecewise composition, which leverages the modular structure of hardware to transfer the work of path e
Externí odkaz:
http://arxiv.org/abs/2304.05445
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems, 2024
Concolic testing is a scalable solution for automated generation of directed tests for validation of hardware designs. Unfortunately, concolic testing also fails to cover complex corner cases such as hard-to-activate branches. In this paper, we propo
Externí odkaz:
http://arxiv.org/abs/2302.12241
Motion planning is a computationally intensive and well-studied problem in autonomous robots. However, motion planning hardware accelerators (MPA) must be soft-error resilient for deployment in safety-critical applications, and blanket application of
Externí odkaz:
http://arxiv.org/abs/2110.08906
Autor:
Maier, Jürgen, Steininger, Andreas
Publikováno v:
17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014, pp. 33-38
Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task
Externí odkaz:
http://arxiv.org/abs/2006.04577
Reconstructing system-level behavior from silicon traces is a critical problem in post-silicon validation of System-on-Chip designs. Current industrial practice in this area is primarily manual, depending on collaborative insights of the architects,
Externí odkaz:
http://arxiv.org/abs/2005.02550
Publikováno v:
Unternehmensrecht
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::473dfbb8d32fe9bcd082155f0c188a44
https://doi.org/10.15358/9783800644483_190
https://doi.org/10.15358/9783800644483_190
Autor:
Szajowski, Krzysztof
Publikováno v:
Springer Proceedings in Mathematics and Statistics 2015
Multivariate data sources with components of different information value seem to appear frequently in practice. Models in which the components change their homogeneity at different times are of significant importance. The fact whether any changes are
Externí odkaz:
http://arxiv.org/abs/1410.7091
Autor:
Wisniewski, Rafael
Publikováno v:
EPTCS 124, 2013, pp. 5-8
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the verification
Externí odkaz:
http://arxiv.org/abs/1308.5330
Autor:
Szajowski, Krzysztof
Publikováno v:
GameSec 2011, LNCS 7037, pp. 56-66, 2011
The paper deals with a mathematical model of a surveillance system based on a net of sensors. The signals acquired by each node of the net are Markovian process, have two different transition probabilities, which depends on the presence or absence of
Externí odkaz:
http://arxiv.org/abs/1111.4504