Dave Parker
71 - 80 out of 98Page size: 10
Publications
- 2005
- 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
- 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
- Published
Grid-enabled probabilistic model checking with PRISM
David Parker & Marta Kwiatkowska, 1 Jan 2005.Research output: Contribution to conference (unpublished) › Paper
- 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
- 2004
- Published
Controller dependability analysis by probabilistic model checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.Research output: Contribution to conference (unpublished) › Paper
- 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
- 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
- Published
- 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
- 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