Cell Assisted APMC
Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet · 2008
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.