1151 search results - page 164 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
138
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— The design of robust and area efficient power distribution networks for high speed, high complexity integrated circuits has become a challenging task. The integrity of...
183
click to vote
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
177
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
116
click to vote
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
In a few technology generations, limitations of fabrication processes will make accurate design time power estimates a daunting challenge. Static leakage current which comprises a...