Článek ve sborníku konference

ČEŠKA Milan, PILAŘ Petr, PAOLETTI Nicola, BRIM Luboš a KWIATKOWSKA Marta. 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. Berlin: Springer International Publishing, 2016, s. 367-384. ISBN 978-3-662-49673-2. ISSN 0302-9743. Dostupné z: http://dx.doi.org/10.1007/978-3-662-49674-9_21
Jazyk publikace:angličtina
Název publikace:PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
Název (cs):PRISM-PSY: Přesná syntéza parametrů pro stochastické systémy akcelerovaná na GPU
Strany:367-384
Sborník:Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Konference:22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Řada knih:LNCS 9636
Místo vydání:Berlin, DE
Rok:2016
URL:http://dx.doi.org/10.1007/978-3-662-49674-9_21
ISBN:978-3-662-49673-2
Časopis:Lecture Notes in Computer Science, roč. 2016, č. 9636, DE
ISSN:0302-9743
DOI:10.1007/978-3-662-49674-9_21
Vydavatel:Springer International Publishing
Klíčová slova
parameter synthesis, stochastic systems, data-parallel algorithms, GPU architectures 
Anotace
Tento článek prezentuje PRISM-PSY, nový nástroj pro přesnou GPU-akcelerovanou syntézu parametrů pro stochastické systémy.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Petr Pila{\v{r}} and
	Nicola Paoletti and Lubo{\v{s}} Brim and Marta
	Kwiatkowska},
   title = {PRISM-PSY: Precise GPU-Accelerated Parameter
	Synthesis for Stochastic Systems},
   pages = {367--384},
   booktitle = {Proceedings of the 22nd International Conference on Tools
	and Algorithms for the Construction and Analysis of Systems},
   series = {LNCS 9636},
   journal = {Lecture Notes in Computer Science},
   volume = {2016},
   number = {9636},
   year = {2016},
   location = {Berlin, DE},
   publisher = {Springer International Publishing},
   ISBN = {978-3-662-49673-2},
   ISSN = {0302-9743},
   doi = {10.1007/978-3-662-49674-9_21},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11208}
}

Vaše IPv4 adresa: 54.163.42.154
Přepnout na IPv6 spojení

DNSSEC [dnssec]