8177 search results - page 1420 / 1636 » Detecting System Emulators |
138
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inď¬...
115
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
136
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
An important tool for evaluating the health of patients who suffer from mobility-affecting chronic diseases such as MS, Parkinson’s, and Muscular Dystrophy is assessment of how ...
129
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
117
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...