521 search results - page 62 / 105 » Timing Verification Using HDTV |
WSC
2008
15 years 4 days ago
2008
Cluster tools have been one of the proposed alternatives to improve operations performance in semiconductor fabrication. The benefits include high yield throughput, less contamina...
101
click to vote
ENTCS
2006
14 years 9 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
PAA
2006
14 years 9 months ago
2006
Due to the robustness of Gabor features against local distortions caused by variance of illumination, expression and pose, they have been successfully applied for face recognition....
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
100
click to vote
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...