Referenced Items are not available for this document.
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.
Published in:
Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on
Date of Conference: 14-17 Sept. 2008
- Page(s):
- 75 - 76
- Print ISBN:
- 978-0-7695-3360-5
- INSPEC Accession Number:
- 10366422
- Conference Location :
- St. Malo
- Digital Object Identifier :
- 10.1109/QEST.2008.36
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
