Dave Parker

71 - 80 out of 98Page size: 10

Publications

  1. 2005
  2. Published

    A wavefront parallelisation of CTMC solution using MTBDDs

    David Parker & Marta Kwiatkowska, 1 Jan 2005, p. 734-742. 9 p.

    Research output: Contribution to conference (unpublished) › Paper

  3. Published

    Evaluating the reliability of NAND multiplexing with PRISM

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2005, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 10, p. 1629-1637 9 p.

    Research output: Contribution to journal › Article

  4. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished) › Paper

  5. Published

    Probabilistic model checking and power-aware computing

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2005, p. 6-9. 4 p.

    Research output: Contribution to conference (unpublished) › Paper

  6. 2004
  7. Published

    Controller dependability analysis by probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.

    Research output: Contribution to conference (unpublished) › Paper

  8. Published

    Dual-processor parallelisation of symbolic probabilistic model checking

    Marta Kwiatkowska, David Parker, Yi Zhang, 1 Jan 2004, p. 123-130. 8 p.

    Research output: Contribution to conference (unpublished) › Paper

  9. Published

    Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2004, p. 907-914. 8 p.

    Research output: Contribution to conference (unpublished) › Paper

  10. Published

    Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P Panagaden, F van Breugel (Editors) CRM Monograph Series

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, American Mathematical Society.

    Research output: Book/Report › Book

  11. Published

    Numerical vs. statistical probabilistic model checking: An empirical study

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 46-60. 15 p.

    Research output: Contribution to conference (unpublished) › Paper

  12. Published

    PRISM 2.0: A tool for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 322-323. 2 p.

    Research output: Contribution to conference (unpublished) › Paper

Previous 1...4 5 6 7 8 9 10 Next