RIV/00216224:14330/12:00057350 - Space-efficient scheduling of stochastically generated tasks (2012)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/12:00057350
Název v původním jazyceSpace-efficient scheduling of stochastically generated tasks
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborIN - Informatika
Rok uplatnění2012
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku1
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento výskyt výsledku není vyřazen
Zařazení výsledku v hodnoceníJimp - Článek v impaktovaném časopise evidovaném ve Web of Science
Skupina oboru v hodnocení04 - Technické a informatické vědy
Konkrétní způsob(y) hodnocení výsledkuVýsledek hodnocený již v předchozím hodnocení, body se přebírají
Bodové ohodnocení20,759
Faktor korekce90,8 %
Body (upravené podle přílohy č. 8 Metodiky)18,853
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano40,0 %8,3037,541
Tvůrci výsledku
Počet tvůrců celkem4
Počet domácích tvůrců1
TvůrceBrázdil Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 1762834)
TvůrceEsparza Javier (státní příslušnost: ES - Španělské království)
TvůrceKiefer Stefan (státní příslušnost: DE - Spolková republika Německo)
TvůrceLuttenberger Michael (státní příslušnost: DE - Spolková republika Německo)
Údaje blíže specifikující výsledek
Popis v původním jazyceWe 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].
Klíčová slovaStochastic models; Space-efficient scheduling; Multithreaded programs; Branching processes
Kód UT ISI000299597500007
Rozsah stran87-110
Název periodkaInformation and Computation
ISSN0890-5401
Svazek periodika210
Číslo periodika v rámci uvedeného svazkuJanuary
Stát vydavatele periodikaUS - Spojené státy americké
Počet stran výsledku24
DOI výsledku10.1016/j.ic.2011.10.005
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2013
Systémové označení dodávky datRIV13-GA0-14330___/02:2
SpecifikaceRIV/00216224:14330/12:00057350!RIV13-GA0-14330___
Kontrolní kód[16B3A951D22E]
Jiný výskyt tohoto výsledku se v RIV nenachází
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
ProjektGAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010-2014, GA0/GA)