• DocumentCode
    2973824
  • Title

    Cell Assisted APMC

  • Author

    Borghi, Alexandre ; Herault, Thomas ; Lassaigne, Richard ; Peyronnet, Sylvain

  • Author_Institution
    LRI-Univ. Paris, Paris, TX
  • fYear
    2008
  • fDate
    14-17 Sept. 2008
  • Firstpage
    75
  • Lastpage
    76
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2008. QEST '08. Fifth International Conference on
  • Conference_Location
    St. Malo
  • Print_ISBN
    978-0-7695-3360-5
  • Type

    conf

  • DOI
    10.1109/QEST.2008.36
  • Filename
    4634955
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2973824