7167 search results - page 344 / 1434 » A Technique for Invariant Generation |
192
click to vote
IFIP
2001
Springer
16 years 1 days ago
2001
Springer
: High defect coverage requires good coverage of different fault types. In this paper, we present a comprehensive test vector generation technique for BIST, called Random Single In...
248
click to vote
IMC
2007
ACM
2007
ACM
I tube, you tube, everybody tubes: analyzing the world's largest user generated content video system
15 years 9 months ago
User Generated Content (UGC) is re-shaping the way people watch video and TV, with millions of video producers and consumers. In particular, UGC sites are creating new viewing pat...
214
click to vote
ESOP
2001
Springer
16 years 3 days ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
278
click to vote
KI
2010
Springer
15 years 2 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
178
click to vote
FPL
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...