47 citations · 115 across the 33 of their papers we have counts for
Showing cs.PFShow all
3 papers · 1 filter
cs.PF2014★ 2 cited
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
Tomáš Brázdil, Ľuboš Korenčiak, Jan Krčál +2
We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specif…
cs.PF2011
Stabilization of Branching Queueing Networks
Tomáš Brázdil, Stefan Kiefer
Queueing networks are gaining attraction for the performance analysis of parallel computer systems. A Jackson network is a set of interconnected servers, where the completion of a…
cs.PF2010
Space-efficient scheduling of stochastically generated tasks
Tomáš Brázdil, Javier Esparza, Stefan Kiefer +1
We study the problem of scheduling tasks for execution by a processor when the tasks can stochastically generate new tasks. Tasks can be of different types, and each type has a fix…