923 search results - page 118 / 185 » Proving the value of formal methods |
141
click to vote
WSC
2000
15 years 7 months ago
2000
Discrete event simulation has long been recognized as a valuable tool for manufacturers, but converting the recognition of value into an embrace of the technology can be a challen...
147
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a general method for proving upper bounds on the eigenvalues of the graph Laplacian. In particular, we show that for any positive integer k, the kth smallest eigenva...
151
click to vote
ASPDAC
2006
ACM
16 years 8 days ago
2006
ACM
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...
234
click to vote
ANNES
1995
15 years 10 months ago
1995
The 1R procedure for machine learning is a very simple one that proves surprisingly effective on the standard datasets commonly used for evaluation. This paper describes the metho...
160
click to vote
MOC
2011
15 years 1 months ago
2011
We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connec...