J 2012

Space-efficient scheduling of stochastically generated tasks

BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Michael LUTTENBERGER

Základní údaje

Originální název

Space-efficient scheduling of stochastically generated tasks

Název česky

Prostorově efektivní plánování stochasticky generovaných úloh

Autoři

BRÁZDIL, Tomáš (203 Česká republika, garant, domácí), Javier ESPARZA (724 Španělsko), Stefan KIEFER (276 Německo) a Michael LUTTENBERGER (276 Německo)

Vydání

Information and Computation, Elsevier, 2012, 0890-5401

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.699

Kód RIV

RIV/00216224:14330/12:00057350

Organizační jednotka

Fakulta informatiky

UT WoS

000299597500007

Klíčová slova anglicky

Stochastic models; Space-efficient scheduling; Multithreaded programs; Branching processes

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 4. 2012 16:54, doc. RNDr. Tomáš Brázdil, Ph.D., MBA

Anotace

V originále

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 E[S-sigma].

Návaznosti

GAP202/10/1469, projekt VaV
Název: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Grantová agentura ČR, Formální metody pro analýzu a verifikaci komplexních systémů