Searching for authors named "David Parker" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
Economic Regulation: A Preliminary Literature Review and Summary of Research Questions Arising
- … QUESTIONS ARISING David Parker University of Aston October 2001 Fiona Wilson, Centre Secretary Centre…
- Cited by 2 (0 self) – Add To MetaCart
-
Modulation of cellular and synaptic variability in the lamprey spinal cord Running title: Modulation of cellular and synaptic variability
- … of cellular and synaptic variability David Parker and Sarah Bevan Department of Zoology, University…
- Add To MetaCart
-
Automating the failure modes and effects analysis of safety critical systems
- … & David Parker Department of Computer Science, University of Hull U.K. {y.i.papadopoulos, d.j.parker…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Representations and Analysis of Large State Spaces
- …Symbolic Representations and Analysis of Large State Spaces Andrew Miner 1? and David Parker 2…
- Cited by 2 (0 self) – Add To MetaCart
-
Symbolic Representations and Analysis of Large Probabilistic Systems
- …Symbolic Representations and Analysis of Large Probabilistic Systems Andrew Miner 1⋆ and David…
- Cited by 10 (0 self) – Add To MetaCart
-
Grid-enabled Probabilistic Model Checking with PRISM ∗
- …Grid-enabled Probabilistic Model Checking with PRISM ∗ Yi Zhang, David Parker, Marta Kwiatkowska…
- Add To MetaCart
-
An Efficient Symbolic Out-of-Core Solution Method for Markov Models
- …An Ecient Symbolic Out-of-Core Solution Method for Markov Models ? Rashid Mehmood, David Parker…
- Add To MetaCart
-
Verifying Randomized Distributed Algorithms with PRISM
- …, and David Parker University of Birmingham, Birmingham B15 2TT, United Kingdom f…
- Cited by 2 (0 self) – Add To MetaCart
-
Controller Dependability Analysis by Probabilistic Model Checking
- … and David Parker School of Computer Science, University of Birmingham, Birmingham, B15 2TT, United Kingdom…
- Cited by 5 (3 self) – Add To MetaCart
-
Evaluating the reliability of NAND multiplexing with PRISM
- …Evaluating the Reliability of NAND Multiplexing with PRISM Gethin Norman, David Parker, Marta…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
