1151 search results - page 85 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
151
click to vote
ICISC
2007
15 years 5 months ago
2007
Abstract. We investigate three side channel attacks on ABSG, a variant of irregularly decimated generators (IDG). The three attacks are timing analysis, phase-shift fault analysis ...
153
click to vote
IEEEINTERACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
124
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
A class of complementary IIR filters is introduced. One of these filters can be realized as a tapped cascaded interconnection of identical allpass subfilters. The complementary fi...
147
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
145
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...