46 search results - page 1 / 10 » Delayed Nondeterminism in Continuous-Time Markov Decision Pr... |
FOSSACS
2009
Springer
14 years 17 days ago
2009
Springer
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...
DAC
1999
ACM
14 years 6 months ago
1999
ACM
GLVLSI
2005
IEEE
13 years 11 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
CONCUR
2007
Springer
13 years 9 months ago
2007
Springer