757 search results - page 33 / 152 » Monte Carlo Model Checking |
JMLR
2010
13 years 4 months ago
2010
Probabilistic models of the performance of computer systems are useful both for predicting system performance in new conditions, and for diagnosing past performance problems. The ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
—A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. Taskload is here d...
WSC
2000
13 years 11 months ago
2000
We develop a financial model for a manufacturing process where quality can be affected by an assignable cause. We evaluate the options associated with applying a statistical proce...
DAC
2000
ACM
14 years 11 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...
ACG
2006
Springer
14 years 4 months ago
2006
Springer
Probabilistic combinatorial games (PCG) are a model for Go-like games recently introduced by Ken Chen. They differ from normal combinatorial games since terminal position in each ...