1446 search results - page 53 / 290 » Testing for Concise Representations |
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
— Fault diagnosis has particular importance in the context of field programmable gate arrays (FPGAs) because faults can be avoided by reconfiguration at almost no real cost. Cl...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
TVCG
2012
11 years 11 months ago
2012
—Direct replays of the experience of a user in a virtual environment are difficult for others to watch due to unnatural camera motions. We present methods for replaying and summ...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Indexing echocardiogram videos at different levels of structure is essential for providing efficient access to their content for browsing and retrieval purposes. We present a nove...