2167 search results - page 76 / 434 » On the need for statistical timing analysis |
154
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
171
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
178
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
146
click to vote
ICIC
2007
Springer
16 years 15 days ago
2007
Springer
Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except for some statistical proof. A new concept of pi series is introd...
138
click to vote
APVIS
2007
15 years 7 months ago
2007
Email has become an integral method of communication. However, it is still plagued by vast amounts of spam. Many statistical techniques, such as Bayesian filtering, have been app...