11112 search results - page 371 / 2223 » Computing Stuttering Simulations |
173
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
183
click to vote
WSC
2007
15 years 9 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
216
click to vote
WSC
2008
15 years 9 months ago
2008
We consider a portfolio allocation problem where the objective function is a tail event such as probability of large portfolio losses. The dependence between assets is captured th...
214
click to vote
WSC
2001
15 years 8 months ago
2001
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...
180
click to vote
AAAI
1998
15 years 8 months ago
1998
qYaditionally, constraint satisfaction problems(CSPs) are characterized using a finite set of constraints expressed within a common,shared constraint language. Whenreasoning acros...