4962 search results - page 579 / 993 » Stochastic Model Checking |
151
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
135
click to vote
PRDC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
116
click to vote
WSC
2007
15 years 7 months ago
2007
This paper presents a new job release methodology, WIPLOAD Control, especially in semiconductor wafer fabrication environment. The performance of the proposed methodology is evalu...
139
click to vote
WSC
2008
15 years 7 months ago
2008
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
164
click to vote
WSC
2008
15 years 7 months ago
2008
The paper describes an approach for an aggregated animation of a simulation experiment in an interactive 3D environment, visualizing multiple, distributed simulation runs. Althoug...