2005 Ieee International Symposium on Cluster Computing and the Grid Enhancing the Effective Utilisation of Grid Clusters by Exploiting On-line Performability Analysis
暂无分享,去创建一个
Stephen Gilmore | Anne Benoit | Murray Cole | Jane Hillston | S. Gilmore | A. Benoit | J. Hillston | M. Cole
[1] Stephen Gilmore,et al. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.
[2] Michael A. Gibson,et al. Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels , 2000 .
[3] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[4] Bruno Sericola. A Finite Buffer Fluid Queue Driven by a Markovian Queue , 2001, Queueing Syst. Theory Appl..
[5] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[6] Rajkumar Buyya,et al. GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing , 2002, Concurr. Comput. Pract. Exp..
[7] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .
[8] Lawrence F. Shampine,et al. Solving ODEs with MATLAB , 2002 .
[9] Kishor S. Trivedi,et al. FSPNs: Fluid Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.
[10] A. Stephen McGough,et al. ICENI: Optimisation of component applications within a Grid environment , 2002, Parallel Comput..
[11] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[12] William H. Sanders,et al. Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.
[13] Nigel Thomas. Using Markovian Process Algebra to Specify Interactions in Queueing Systems , 1997 .
[14] Stephen Gilmore,et al. Evaluating the Performance of Skeleton-Based High Level Parallel Programs , 2004, International Conference on Computational Science.
[15] Stephen Gilmore,et al. Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..
[16] Murray Cole,et al. Algorithmic Skeletons: Structured Management of Parallel Computation , 1989 .
[17] Michael Mitzenmacher,et al. Studying Balanced Allocations with Differential Equations , 1999, Combinatorics, Probability and Computing.
[18] Kurt Stockinger,et al. OptorSim-A Grid Simulator for Studying Dynamic Data Replication Strategies , 2003 .
[19] Stephen A. Jarvis,et al. Performance-Aware Workflow Management for Grid Computing , 2005, Comput. J..
[20] Andrew A. Chien,et al. The MicroGrid: a Scientific Tool for Modeling Computational Grids , 2000, ACM/IEEE SC 2000 Conference (SC'00).
[21] Linda R. Petzold,et al. Improved leap-size selection for accelerated stochastic simulation , 2003 .
[22] Michael Mitzenmacher,et al. Analyses of load stealing models based on differential equations , 1998, SPAA '98.
[23] S. Gilmore,et al. Automatically deriving ODEs from process algebra models of signalling pathways , 2005 .