Sciweavers

752 search results - page 14 / 151
» A Markov Chain Model Checker
Sort
View
COR
2007
70views more  COR 2007»
13 years 8 months ago
Markov chain models of a telephone call center with call blending
Alexandre Deslauriers, Pierre L'Ecuyer, Juta Pichi...
JCSC
2010
62views more  JCSC 2010»
13 years 7 months ago
Markov Chain Modeling and Analysis of Complicated Phenomena in Coupled Chaotic oscillators
Yoshifumi Nishio, Yuta Komatsu, Yoko Uwate, Martin...
PE
2010
Springer
180views Optimization» more  PE 2010»
13 years 7 months ago
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
GLOBECOM
2010
IEEE
13 years 6 months ago
A Discrete Time Markov Chain Model for High Throughput Bidirectional Fano Decoders
Ran Xu, Graeme Woodward, Kevin Morris, Taskin Ko&c...