4445 search results - page 840 / 889 » Use of statistical timing analysis on real designs |
131
click to vote
WISEC
2010
ACM
15 years 4 months ago
2010
ACM
In many applications of wireless sensor networks, sensor nodes are manually deployed in hostile environments where an attacker can disrupt the localization service and tamper with...
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
SAC
2000
ACM
15 years 4 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...
FSE
1999
Springer
15 years 4 months ago
1999
Springer
Recently a powerful cryptanalytic tool—the slide attack— was introduced [3]. Slide attacks are very successful in breaking iterative ciphers with a high degree of self-similari...
EUC
2007
Springer
15 years 3 months ago
2007
Springer
Traditional cryptographic primitives are not supported on low-cost RFID tags since, at most, 4K gates can be devoted to securityrelated tasks. Despite this, there are a vast number...