Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1213 D 486.2050.6675.3334.137
Výsledky hodnocení dříve prezentovala speciální podoba stránek výskytů výsledků doplněná informacemi o hodnocení daného výskytu a výsledku. To zde supluji doplněním kopií stránek z rvvi.cz/riv z 18.12.2017 o relevantní údaje z dat H16. Najetí myší na kód či skupinu zobrazí vysvětlující text (u některých vyřazených není k dispozici). Čísla jsou oproti zdroji zaokrouhlena na 3 desetinná místa.

Stabilization of Branching Queueing Networks (2012)výskyt výsledku

Identifikační kódRIV/00216224:14330/12:00057347
Název v anglickém jazyceStabilization of Branching Queueing Networks
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2012
Kód důvěrnosti údajůS - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů.
Počet výskytů výsledku1
Počet tvůrců celkem2
Počet domácích tvůrců1
Výčet všech uvedených jednotlivých tvůrcůTomáš Brázdil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1762834)
Stefan Kiefer (státní příslušnost: DE - Spolková republika Německo)
Popis výsledku v anglickém jazyceQueueing 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 job at server i may result in the creation of a new job for server j. We propose to extend Jackson networks by "branching" and by "control" features. Both extensions are new and substantially expand the modelling power of Jackson networks. On the other hand, the extensions raise computational questions, particularly concerningthe stability of the networks, i.e, the ergodicity of the underlying Markov chain. We show for our extended model that it is decidable in polynomial time if there exists a controller that achieves stability. Moreover, if such a controller exists, one can efficiently compute a static randomized controller which stabilizes the network in a very strong sense; in particular, all moments of the queue sizes are finite.
Klíčová slova oddělená středníkemcontinuous time Markov decision processes; infinite state systems; performance analysis
Stránka www, na které se nachází výsledek-

Údaje o výsledku v závislosti na druhu výsledku

Název sborníkuProceedings of the 29th International Symposium on Theoretical Aspects of Computer Science
ISBN9783939897354
ISSN1868-8969
Počet stran výsledku12
Strana od-do507-518
Název nakladateleIBFI Schloss Dagstuhl
Místo vydáníParis, France
Místo konání akceParis, France
Datum konání akce2012
Typ akce podle státní příslušnosti účastníkůWRD - Celosvětová
Kód UT WoS článku podle Web of Science-

Ostatní informace o výsledku

PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelGA0 - Grantová agentura České republiky (GA ČR)
Rok sběru2013
SpecifikaceRIV/00216224:14330/12:00057347!RIV13-GA0-14330___
Datum poslední aktualizace výsledku04.09.2013
Kontrolní číslo43535666

Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl

Projekt podporovaný GA ČR v programu GAGAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014)