-
1
-
-
0036893728
-
ICENI: Optimisation of component applications within a grid environment
-
N. Furmento, A. Mayer, S. McGough, S. Newhouse, T. Field, and J. Darlington. ICENI: Optimisation of Component Applications within a Grid Environment. Parallel Computing, 28(12):1753-1772, 2002.
-
(2002)
Parallel Computing
, vol.28
, Issue.12
, pp. 1753-1772
-
-
Furmento, N.1
Mayer, A.2
McGough, S.3
Newhouse, S.4
Field, T.5
Darlington, J.6
-
2
-
-
27144474853
-
Evaluating the performance of skeleton-based high level parallel programs
-
ICCS 2004: Proc. of 4th Intl. Conference on Computational Science, Krakow, Poland. Springer-Verlag
-
A. Benoit, M. Cole, S. Gilmore, and J. Hillston. Evaluating the performance of skeleton-based high level parallel programs. In ICCS 2004: Proc. of 4th Intl. Conference on Computational Science, Krakow, Poland, volume 3038 of LNCS, pages 289-296. Springer-Verlag, 2004.
-
(2004)
LNCS
, vol.3038
, pp. 289-296
-
-
Benoit, A.1
Cole, M.2
Gilmore, S.3
Hillston, J.4
-
4
-
-
84860040996
-
-
November
-
Condor project home page, http://www.cs.wisc.edu/condor/, November 2004.
-
(2004)
Condor Project Home Page
-
-
-
5
-
-
84860044901
-
-
SUN Microsystems, November
-
SUN Microsystems. SUN Grid Engine Web site, http://gridengine.sunsource. net/, November 2004.
-
(2004)
-
-
-
7
-
-
0036871428
-
GridSim: A toolkit for the modeling and simulation of distributed resource management and scheduling for grid computing
-
R. Buyya and M. Murshed. GridSim: A Toolkit for the Modeling and Simulation of Distributed Resource Management and Scheduling for Grid Computing. The Journal of Concurrency and Computation: Practice and Experience (CCPE), 14(13-15), 2002.
-
(2002)
The Journal of Concurrency and Computation: Practice and Experience (CCPE)
, vol.14
, Issue.13-15
-
-
Buyya, R.1
Murshed, M.2
-
8
-
-
0344945393
-
OptorSim - A grid simulator for studying dynamic data replication strategies
-
W.H. Bell, D.G. Cameron, L. Capozza, A.P. Millar, K. Stockinger, and F. Zini. OptorSim - A Grid Simulator for Studying Dynamic Data Replication Strategies. International Journal of High Performance Computing Applications, 17(4), 2003.
-
(2003)
International Journal of High Performance Computing Applications
, vol.17
, Issue.4
-
-
Bell, W.H.1
Cameron, D.G.2
Capozza, L.3
Millar, A.P.4
Stockinger, K.5
Zini, F.6
-
9
-
-
0034436382
-
The MicroGrid: A scientific tool for modeling computational grids
-
Song, Liu, Jakobsen, Bhagwan, Zhang, Taura, and Chien. The MicroGrid: a Scientific Tool for Modeling Computational Grids. Scientific Programming, 8(3):127-141, 2000.
-
(2000)
Scientific Programming
, vol.8
, Issue.3
, pp. 127-141
-
-
Song1
Liu2
Jakobsen3
Bhagwan4
Zhang5
Taura6
Chien7
-
10
-
-
18844370105
-
Performance-aware workflow management for grid computing
-
Special issue of Proc. of the Workshop on Grid Performabiliry Modelling and Measurement at the National eScience Centre, Edinburgh. N. Thomas (ed.). To appear
-
D.P. Spooner, J. Cao, S.A. Jarvis, L. He, and G.R. Nudd. Performance-aware Workflow Management for Grid Computing. Computer Journal, 2005. Special issue of Proc. of the Workshop on Grid Performabiliry Modelling and Measurement at the National eScience Centre, Edinburgh. N. Thomas (ed.). To appear.
-
(2005)
Computer Journal
-
-
Spooner, D.P.1
Cao, J.2
Jarvis, S.A.3
He, L.4
Nudd, G.R.5
-
12
-
-
84959928148
-
The PEPA workbench: A tool to support a process algebra-based approach to performance modelling
-
number 794 in LNCS, Vienna, May. Springer-Verlag
-
S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proc. of 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in LNCS, pages 353-368, Vienna, May 1994. Springer-Verlag.
-
(1994)
Proc. of 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation
, pp. 353-368
-
-
Gilmore, S.1
Hillston, J.2
-
13
-
-
84888255686
-
Probabilistic symbolic model checking with PRISM: A hybrid approach
-
TACAS'02, Proceedings of Tools and Algorithms for Construction and Analysis of Systems, Grenoble, April. Springer-Verlag
-
M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In TACAS'02, Proceedings of Tools and Algorithms for Construction and Analysis of Systems, volume 2280 of LNCS, pages 52-66, Grenoble, April 2002. Springer-Verlag.
-
(2002)
LNCS
, vol.2280
, pp. 52-66
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
14
-
-
84947923576
-
Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler
-
IEEE Computer Society Press, October
-
J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In Proc. of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351. IEEE Computer Society Press, October 2003.
-
(2003)
Proc. of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
, pp. 344-351
-
-
Bradley, J.T.1
Dingle, N.J.2
Gilmore, S.T.3
Knottenbelt, W.J.4
-
16
-
-
0017030517
-
A general method for numerically simulating the stochastic time evolution of coupled chemical species
-
D.T. Gillespie. A general method for numerically simulating the stochastic time evolution of coupled chemical species. J. Comp. Phys., 22:403-434, 1976.
-
(1976)
J. Comp. Phys.
, vol.22
, pp. 403-434
-
-
Gillespie, D.T.1
-
17
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry, 81(25):2340-2361, 1977.
-
(1977)
Journal of Physical Chemistry
, vol.81
, Issue.25
, pp. 2340-2361
-
-
Gillespie, D.T.1
-
18
-
-
0001144902
-
Efficient exact stochastic simulation of chemical systems with many species and many channels
-
M.A. Gibson and J. Bruck. Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Comp. Phys., 104:1876-1889, 2000.
-
(2000)
J. Comp. Phys.
, vol.104
, pp. 1876-1889
-
-
Gibson, M.A.1
Bruck, J.2
-
19
-
-
1542381217
-
Stode: Automatic stochastic simulation of systems described by differential equations
-
California Institute of Technology
-
C. van Gend and U. Kummer. Stode: automatic stochastic simulation of systems described by differential equations. In Proc. of 2nd International Conference on Systems Biology (ICSB2001), pages 326-332, California Institute of Technology, 2001.
-
(2001)
Proc. of 2nd International Conference on Systems Biology (ICSB2001)
, pp. 326-332
-
-
Van Gend, C.1
Kummer, U.2
-
20
-
-
84957812126
-
Implementing a stochastic process algebra within the Möbius modeling framework
-
Proc. of 1st joint PAPM-PROBMIV Workshop. Springer-Verlag, September
-
G. Clark and W.H. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In Proc. of 1st joint PAPM-PROBMIV Workshop, volume 2165 of LNCS, pages 200-215. Springer-Verlag, September 2001.
-
(2001)
LNCS
, vol.2165
, pp. 200-215
-
-
Clark, G.1
Sanders, W.H.2
-
22
-
-
0242425970
-
Improved leap-size selection for accelerated stochastic simulation
-
D.T. Gillespie and L.R. Petzold. Improved leap-size selection for accelerated stochastic simulation. J. Comp. Phys., 119:8229-8234, 2003.
-
(2003)
J. Comp. Phys.
, vol.119
, pp. 8229-8234
-
-
Gillespie, D.T.1
Petzold, L.R.2
-
25
-
-
0035536035
-
A finite buffer fluid queue driven by a Markovian queue
-
B. Sericola. A finite buffer fluid queue driven by a Markovian queue. Queueing Systems, 38(2), 2001.
-
(2001)
Queueing Systems
, vol.38
, Issue.2
-
-
Sericola, B.1
-
26
-
-
79959865708
-
Fspns: Fluid stochastic petri nets
-
Proc. 14th Int. Conf. on Application and Theory of Petri Nets, Springer-Verlag
-
V.G. Kulkarni and K.S. Trivedi. Fspns: Fluid stochastic petri nets. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, volume 691 of LNCS, pages 24-31. Springer-Verlag, 1993.
-
(1993)
LNCS
, vol.691
, pp. 24-31
-
-
Kulkarni, V.G.1
Trivedi, K.S.2
|