Search the dblp DataBase

Publications of Author

1. Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood
   Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 2004, pp:123-130 [Conf]
   
2. Rashid Mehmood, Jon Crowcroft, Jaafar M. H. Elmirghani
   A Parallel Implicit Method for the Steady-State Solution of CTMCs. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 2006, pp:293-302 [Conf]
   
3. Marta Z. Kwiatkowska, Rashid Mehmood
   Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:135-151 [Conf]
   
4. Rashid Mehmood
   Serial Disk-based Analysis of Large Stochastic Models. [Citation Graph (0, 0)][DBLP]
   Validation of Stochastic Systems, 2004, pp:230-255 [Conf]
   
5. Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
   A Symbolic Out-of-Core Solution Method for Markov Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
6. Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven Smith
   Grid-level computing needs pervasive debugging. [Citation Graph (0, 0)][DBLP]
   GRID, 2005, pp:186-193 [Conf]
   
7. 
   Performance Evaluation of a Metro WDM Multi-channel Ring Network with Variable-length Packets. [Citation Graph (, )][DBLP]
   
   
8. 
   A Scalable Provisioning and Routing Scheme for Multimedia QoS over Ad Hoc Networks. [Citation Graph (, )][DBLP]
   
   
9. 
   Multimedia Ad Hoc Networks: Performance Analysis. [Citation Graph (, )][DBLP]