3516 search results - page 457 / 704 » Integrating Security Modeling into Embedded System Design |
136
click to vote
IISWC
2008
IEEE
15 years 11 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
157
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
141
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
160
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
134
click to vote
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...