Informační systém MU
BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA a Ivana HUTAŘOVÁ VAŘEKOVÁ. Runtime Analysis of Probabilistic Programs with Unbounded Recursion. In Luca Aceto, Monika Henzinger, Jiří Sgall. Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin: Springer, 2011. s. 319-331, 13 s. ISBN 978-3-642-22011-1.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Autoři BRÁZDIL, Tomáš (203 Česká republika, domácí), Stefan KIEFER (276 Německo), Antonín KUČERA (203 Česká republika, garant, domácí) a Ivana HUTAŘOVÁ VAŘEKOVÁ (203 Česká republika, domácí).
Vydání Berlin, Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), od s. 319-331, 13 s. 2011.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/11:00049980
Organizační jednotka Fakulta informatiky
ISBN 978-3-642-22011-1
UT WoS 000342481400020
Klíčová slova anglicky pushdown automata; probabilistic systems; termination
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2012 23:48.
Anotace
We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDA) which exactly correspond to recursive Markov chains.
Anotace česky
V článku se zkoumají pravděpodobnostní systémy s neomezenou hloubkou rekurze. Jako matematický model těchto systémů jsou použity pravděpodobnostní zásobníkové automaty, které přesně odpovídají rekurzivním Markovovským procesům.
Návaznosti
GAP202/10/1469, projekt VaVNázev: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
MUNI/A/0914/2009, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
Zobrazeno: 14. 11. 2019 02:55