Detail publikace

GPU-Accelerated Synthesis of Probabilistic Programs

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MARCIN, V.; VOJNAR, T. GPU-Accelerated Synthesis of Probabilistic Programs. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022. p. 256-266. ISBN: 978-3-031-25312-6.
Název česky
GPU akcelerovaná syntéza pravděpodobnostních programů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Marcin Vladimír, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Markov models, probabilistic programs, graphical processing units

Abstrakt

Tento článek prezentuje GPU akcelerovanou syntézu pravděpodobnostních programů. U
strukturálně složitých problémů navržený přístup dosahuje zrychlení o jeden řád.

Rok
2022
Strany
256–266
Sborník
International Conference on Computer Aided Systems Theory (EUROCAST'22)
Řada
Lecture Notes in Computer Science
Konference
Eurocast 2022 -- 18th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-031-25312-6
Vydavatel
Springer Nature Switzerland AG
Místo
Cham
EID Scopus
2-s2.0-85151149728
BibTeX 
@inproceedings{BUT178306,
  author="Roman {Andriushchenko} and Milan {Češka} and Vladimír {Marcin} and Tomáš {Vojnar}",
  title="GPU-Accelerated Synthesis of Probabilistic Programs",
  booktitle="International Conference on Computer Aided Systems Theory (EUROCAST'22)",
  year="2022",
  series="Lecture Notes in Computer Science",
  pages="256--266",
  publisher="Springer Nature Switzerland AG",
  address="Cham",
  isbn="978-3-031-25312-6"
}
Nahoru