1415 search results - page 162 / 283 » Verified systems by composition from verified components |
147
click to vote
GLVLSI
2007
IEEE
16 years 20 days ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
127
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
– Recent wireless measurement studies have revealed the presence of high-order memory in wireless bit-error channels. However, most wireless studies continue to employ the memory...
174
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
The ability to record and account for the usage of computational resources in a standardised way across different systems from multiple administrative domains is a precursor to wi...
175
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
161
click to vote
IH
1999
Springer
15 years 10 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...