-
1
-
-
3543141234
-
-
Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA. ACM Press
-
Bradley, J.T., Dingle, N.J., Argent-Katwala, A.: Expressing Performance Requirements Using Regular Expressions to Specify Stochastic Probes over Process Algebra Models. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA. ACM Press (2004) 49-58
-
(2004)
Expressing Performance Requirements Using Regular Expressions to Specify Stochastic Probes over Process Algebra Models
, pp. 49-58
-
-
Bradley, J.T.1
Dingle, N.J.2
Argent-Katwala, A.3
-
2
-
-
84947923576
-
Derivation of Passage-Time Densities in PEPA Models Using IPC: The Imperial PEPA Compiler
-
Kotsis, G. (ed.): Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida. IEEE Computer Society Press
-
Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J., Bradley, J.T.: Derivation of Passage-Time Densities in PEPA Models Using IPC: The Imperial PEPA Compiler. In: Kotsis, G. (ed.): Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida. IEEE Computer Society Press (2003) 344-351
-
(2003)
Proceedings of the 11th IEEE/ACM International Symposium on Modeling
, pp. 344-351
-
-
Dingle, N.J.1
Gilmore, S.T.2
Knottenbelt, W.J.3
Bradley, J.T.4
-
3
-
-
35048884102
-
PEPA Nets
-
Calzarossa, M.C., Gelenbe, E. (eds.): Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures. Springer, Berlin Heidelberg New York
-
Gilmore, S., Hillston, J., Kloul, L.: PEPA Nets. In: Calzarossa, M.C., Gelenbe, E. (eds.): Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures. Lecture Notes in Computer Science, Vol. 2965. Springer, Berlin Heidelberg New York (2004) 311-335
-
(2004)
Lecture Notes in Computer Science
, vol.2965
, pp. 311-335
-
-
Gilmore, S.1
Hillston, J.2
Kloul, L.3
-
4
-
-
3543057015
-
Software Performance Modelling Using PEPA Nets
-
Redwood Shores, California, USA. ACM Press
-
Gilmore, S., Hillston, J, Kloul, L., Ribaudo, M.: Software Performance Modelling Using PEPA Nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA. ACM Press (2004) 13-24
-
(2004)
Proceedings of the Fourth International Workshop on Software and Performance
, pp. 13-24
-
-
Gilmore, S.1
Hillston, J.2
Kloul, L.3
Ribaudo, M.4
-
5
-
-
0042829471
-
PEPA Nets: A Structured Performance Modelling Formalism
-
Gilmore, S., Hillston, J., Ribaudo, M., Kloul, L.: PEPA Nets: A Structured Performance Modelling Formalism. Performance Evaluation 54 (2003) 79-104
-
(2003)
Performance Evaluation
, vol.54
, pp. 79-104
-
-
Gilmore, S.1
Hillston, J.2
Ribaudo, M.3
Kloul, L.4
|