Organizace U  S Kód
hodnocení
Skupina
oborů
Body
výsledku
Body
upravené
Podíl VOBody VOBody VO
upravené
H14
Masarykova univerzita / Fakulta informatiky1112 D 444.38744.799144.38744.799
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.

Fixed-delay Events in Generalized Semi-Markov Processes Revisited (2011)výskyt výsledku

Identifikační kódRIV/00216224:14330/11:00049932
Název v anglickém jazyceFixed-delay Events in Generalized Semi-Markov Processes Revisited
DruhD - Článek ve sborníku
Jazykeng - angličtina
Obor - skupinaI - Informatika
OborIN - Informatika
Rok uplatnění2011
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ýsledku2
Počet tvůrců celkem4
Počet domácích tvůrců4
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)
Jan Krčál (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9668780)
Jan Křetínský (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3503054)
Vojtěch Řehák (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 8986371)
Popis výsledku v anglickém jazyceWe study long run average behavior of generalized semi-Markov processes with both fixed-delay events as well as variable-delay events. We show that allowing two fixed-delay events and one variable-delay event may cause an unstable behavior of a GSMP. Inparticular, we show that a frequency of a given state may not be defined for almost all runs (or more generally, an invariant measure may not exist). We use this observation to disprove several results from literature. Next we study GSMP with at most onefixed-delay event combined with an arbitrary number of variable-delay events. We prove that such a GSMP always possesses an invariant measure which means that the frequencies of states are always well defined and we provide algorithms for approximationof these frequencies. Additionally, we show that the positive results remain valid even if we allow an arbitrary number of reasonably restricted fixed-delay events.
Klíčová slova oddělená středníkemgeneralized semi-Markov processes; long-run average; stability; discrete events
Stránka www, na které se nachází výsledek-

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

Název sborníkuCONCUR 2011 - Concurrency Theory: 22nd International Conference
ISBN978-3-642-23216-9
ISSN-
Počet stran výsledku16
Strana od-do140-155
Název nakladateleSpringer
Místo vydáníBerlin Heidelberg New York
Místo konání akceAachen, Německo
Datum konání akce2011
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ěru2012
SpecifikaceRIV/00216224:14330/11:00049932!RIV12-GA0-14330___
Datum poslední aktualizace výsledku18.05.2012
Kontrolní číslo13406596

Informace o dalších výskytech výsledku dodaného stejným předkladatelem

Dodáno MŠMT v roce 2012RIV/00216224:14330/11:00049932 v dodávce dat RIV12-MSM-14330___/01:1

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

Projekt podporovaný MŠMT v programu 1M1M0545 - Institut Teoretické Informatiky (2005 - 2009)
Projekt podporovaný GA ČR v programu GAGAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014)
Projekt podporovaný GA ČR v programu GDGD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009 - 2012)
Výzkumný záměr podporovaný MŠMTMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011)
Podpora / návaznostiSpecifický výzkum na vysokých školách, poskytovatel MŠMT