4962 search results - page 496 / 993 » Stochastic Model Checking |
158
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
138
click to vote
AIPS
2010
15 years 6 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...
161
click to vote
GLVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
128
click to vote
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe the operation of barter trade exchanges by identifying key techniques used by trade brokers to stimulate trade and satisfy member needs, and present alg...
148
click to vote
AAAI
1997
15 years 5 months ago
1997
Many stochastic planning problems can be represented using Markov Decision Processes (MDPs). A difficulty with using these MDP representations is that the common algorithms for so...