385 search results - page 46 / 77 » Verified Code Generation for Embedded Systems |
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
116
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
124
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
103
click to vote
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
106
click to vote
ICCD
2007
IEEE
15 years 11 months ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...