Title :
Cell Assisted APMC
Author :
Borghi, Alexandre ; Herault, Thomas ; Lassaigne, Richard ; Peyronnet, Sylvain
Author_Institution :
LRI-Univ. Paris, Paris, TX
Abstract :
In this paper, we give an overview of APMC-CA (cell assisted approximate probabilistic model checker). APMC-CA is a new version of APMC dedicated to the cell processor. We show that using the cell architecture, we achieve better performances than APMC 3.0.
Keywords :
probability; program verification; approximate probabilistic model checker; cell architecture; cell assisted APMC; cell processor; Computational modeling; Computer architecture; Distributed computing; Distributed power generation; Energy management; Engines; Linux; Power system modeling; Random access memory; Sampling methods; APMC; Cell; model checker;
Conference_Titel :
Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on
Conference_Location :
St. Malo
Print_ISBN :
978-0-7695-3360-5
DOI :
10.1109/QEST.2008.36
