| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/11:00049932 |
| Název v původním jazyce | Fixed-delay Events in Generalized Semi-Markov Processes Revisited |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| 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ýsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | D - Článek ve sborníku |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 44,387 |
| Faktor korekce | 100,9 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 44,799 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 44,387 | 44,799 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 4 |
| Tvůrce | Brázdil Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 1762834) |
| Tvůrce | Krčál Jan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 9668780) |
| Tvůrce | Křetínský Jan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 3503054) |
| Tvůrce | Řehák Vojtěch (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 8986371) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We 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. In particular, 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 one fixed-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 approximation of 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 | generalized semi-Markov processes; long-run average; stability; discrete events |
| Název sborníku | CONCUR 2011 - Concurrency Theory: 22nd International Conference |
| Rozsah stran | 140-155 |
| ISBN | 978-3-642-23216-9 |
| Počet stran výsledku | 16 |
| Název nakladatele | Springer-Verlag |
| Místo vydání | Berlin Heidelberg New York |
| Místo konání akce | Aachen, Německo |
| Rok konání akce | 2011 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2012 |
| Systémové označení dodávky dat | RIV12-MSM-14330___/01:1 |
| Specifikace | RIV/00216224:14330/11:00049932!RIV12-MSM-14330___ |
| Kontrolní kód | [FF43D8E5DEE0] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2012 | Záznam s identifikačním kódem RIV/00216224:14330/11:00049932 v dodávce dat RIV12-GA0-14330___/02:1 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010-2014, GA0/GA) |
| Projekt | GD102/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, GA0/GD) |
| Projekt | 1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M) |
| Výzkumný záměr | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM) |
| S - Specifický výzkum na vysokých školách |