Detail publikace

PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

ČEŠKA, M.; PILAŘ, P.; PAOLETTI, N.; BRIM, L.; KWIATKOWSKA, M. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Berlin: Springer International Publishing, 2016. p. 367-384. ISBN: 978-3-662-49673-2. ISSN: 0302-9743.
Název česky
PRISM-PSY: Přesná syntéza parametrů pro stochastické systémy akcelerovaná na GPU
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Pilař Petr (FIT)
Paoletti Nicola (FIT)
Brim Luboš, doc. RNDr., CSc. (CK-SZZ)
Kwiatkowska Marta (FIT)
URL
Klíčová slova

parameter synthesis, stochastic systems, data-parallel algorithms, GPU architectures 

Abstrakt

Tento článek prezentuje PRISM-PSY, nový nástroj pro přesnou GPU-akcelerovanou syntézu parametrů pro stochastické systémy.

Rok
2016
Strany
367–384
Časopis
Lecture Notes in Computer Science, roč. 9636, ISSN 0302-9743
Sborník
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Konference
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Eindhoven, The Netherlands, CZ
ISBN
978-3-662-49673-2
Vydavatel
Springer International Publishing
Místo
Berlin
DOI
10.1007/978-3-662-49674-9_21
UT WoS
000406428000021
EID Scopus
2-s2.0-84964058494
BibTeX 
@inproceedings{BUT130997,
  author="Milan {Češka} and Petr {Pilař} and Nicola {Paoletti} and Luboš {Brim} and Marta {Kwiatkowska}",
  title="PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems",
  booktitle="Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  year="2016",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="9636",
  pages="367--384",
  publisher="Springer International Publishing",
  address="Berlin",
  doi="10.1007/978-3-662-49674-9\{_}21",
  isbn="978-3-662-49673-2",
  issn="0302-9743",
  url="http://dx.doi.org/10.1007/978-3-662-49674-9_21"
}
Nahoru