46 search results - page 1 / 10 » Delayed Nondeterminism in Continuous-Time Markov Decision Pr... |
61
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
FORMATS
2006
Springer
15 years 1 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
15 years 10 months ago
1999
ACM
GLVLSI
2005
IEEE
15 years 3 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
15 years 1 months ago
2007
Springer