Detail publikace

GPU-Accelerated Synthesis of Probabilistic Programs

ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír a VOJNAR Tomáš. GPU-Accelerated Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham, 2022, s. 256-266. ISBN 978-3-031-25312-6.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Marcin Vladimír, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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, DE
EID Scopus
2-s2.0-85151149728
BibTeX 
@INPROCEEDINGS{FITPUB12778,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Vladim\'{i}r Marcin and Tom\'{a}\v{s} Vojnar",
   title = "GPU-Accelerated Synthesis of Probabilistic Programs",
   pages = "256--266",
   booktitle = "International Conference on Computer Aided Systems Theory (EUROCAST'22)",
   series = "Lecture Notes in Computer Science",
   year = 2022,
   location = "Cham, DE",
   ISBN = "978-3-031-25312-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12778"
}
Nahoru