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: 2022. p. 256-266. ISBN: 978-3-031-25312-6.
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)
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
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",
  address="Cham",
  isbn="978-3-031-25312-6"
}
Nahoru