"Berlin" . "Space-efficient scheduling of stochastically generated tasks" . "Br\u00E1zdil, Tom\u00E1\u0161" . . "RIV/00216224:14330/10:00065891" . "Bordeaux, France" . "Luttenberger, Michael" . . . . "12"^^ . "9783642141614" . "Space-efficient scheduling of stochastically generated tasks"@en . "Springer-Verlag" . . . "[F2467B34F9E9]" . "infinite-state stochastic models; process creation; probabilistic verification"@en . "P(1M0545), P(GAP202/10/1469)" . "RIV/00216224:14330/10:00065891!RIV14-MSM-14330___" . "Kiefer, Stefan" . "10.1007/978-3-642-14162-1_45" . . . . "Space-efficient scheduling of stochastically generated tasks"@en . . "Space-efficient scheduling of stochastically generated tasks" . "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 fixed, known probability of generating other tasks. We present results on the random variable S^sigma modeling the maximal space needed by the processor to store the currently active tasks when acting under the scheduler sigma. We obtain tail bounds for the distribution of S^sigma for both offline and online schedulers, and investigate the expected value of S^sigma."@en . . . "2010-01-01+01:00"^^ . . . "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 fixed, known probability of generating other tasks. We present results on the random variable S^sigma modeling the maximal space needed by the processor to store the currently active tasks when acting under the scheduler sigma. We obtain tail bounds for the distribution of S^sigma for both offline and online schedulers, and investigate the expected value of S^sigma." . . "0302-9743" . "14330" . "Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)" . . "288932" . "4"^^ . . "Esparza, Javier" . "1"^^ .