1005 search results - page 149 / 201 » Agile Methods for Embedded Systems |
ASPDAC
2009
ACM
14 years 1 months ago
2009
ACM
Abstract-- For embedded systems where neither energy nor reliability can be easily sacrificed, we present an energy efficient soft error protection scheme for register files (RF). ...
APSEC
2001
IEEE
14 years 1 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...
DFT
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs). The migration of IC fabrication to untrusted foundries has made ICs vulnerable to malicious alterat...
IASTEDSEA
2004
13 years 11 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
SMI
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...