5015 search results - page 472 / 1003 » Model Checking a Path |
155
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
156
Voted
PATMOS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
153
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
172
click to vote
ANOR
2006
15 years 6 months ago
2006
This paper discusses choice set generation and route choice model estimation for large-scale urban networks. Evaluating the effectiveness of Advanced Traveler Information Systems (...
164
click to vote
WSC
2004
15 years 8 months ago
2004
This paper derives Monte Carlo simulation estimators to compute option price derivatives, i.e., the `Greeks,' under Heston's stochastic volatility model and some variant...