PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F16%3APU121653" target="_blank" >RIV/00216305:26230/16:PU121653 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14330/16:00088144
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_21" target="_blank" >http://dx.doi.org/10.1007/978-3-662-49674-9_21</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-49674-9_21" target="_blank" >10.1007/978-3-662-49674-9_21</a>
Alternative languages
Result language
angličtina
Original language name
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
Original language description
In this paper we present PRISM-PSY, a novel tool that performs precise GPU-accelerated parameter synthesis for continuous- time Markov chains and time-bounded temporal logic specifications. We redesign, in terms of matrix-vector operations, the recently formulated algorithms for precise parameter synthesis in order to enable effective data-parallel processing, which results in significant acceleration on many-core architectures. High hardware utilisation, essential for performance and scalability, is achieved by state space and parameter space parallelisation: the former leveraged a compact sparse-matrix representation, and the latter is based on an iterative decomposition of the parameter space. Our experiments on several biological and engineering case studies demonstrate an overall speed-up of up to 31-fold on a single GPU compared to the sequential implementation.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ISBN
978-3-662-49673-2
ISSN
0302-9743
e-ISSN
—
Number of pages
18
Pages from-to
367-384
Publisher name
Springer International Publishing
Place of publication
Berlin
Event location
Eindhoven, The Netherlands
Event date
Apr 2, 2016
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—