4930 search results - page 348 / 986 » Testing a Safety-Critical Application |
168
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
201
click to vote
DFT
2003
IEEE
16 years 1 days ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
209
click to vote
FCCM
2003
IEEE
16 years 1 days ago
2003
IEEE
Two FPGA based implementations of random number generators intended for embedded cryptographic applications are presented. The first is a true random number generator (TRNG) whic...
148
click to vote
GLVLSI
2003
IEEE
16 years 1 days ago
2003
IEEE
The characterization as well as the control of the electromagnetic emission of integrated circuits is an important step in the design process of state of the art integrated circui...
157
click to vote
ISWC
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...