Result 81 to 100 of 121 total
Fluid flow approximation of PEPA models (English)
QEST, 33-43 (2005).
81
Process algebras for quantitative analysis (English)
LICS, 239-248 (2005).
82
Using eskel to implement the multiple baseline stereo application (English)
PARCO, 673-680 (2005).
83
PEPA nets in practice: Modelling a decentralised peer-to-peer emergency medical application. (English)
Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1‒2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 262-277 (2004).
84
Evaluating the performance of skeleton-based high level parallel programs. (English)
Bubak, Marian (ed.) et al., Computational science ‒ ICCS 2004. 4th international conference, Kraków, Poland, June 6‒9, 2004. Proceedings, Part III. Berlin: Springer (ISBN 3-540-22116-6/pbk). Lecture Notes in Computer Science 3038, 289-296 (2004).
85
PEPA nets in practice: modelling a decentralised peer-to-peer emergency medical application (English)
FORTE Workshops, 262-277 (2004).
86
Evaluating the performance of skeleton-based high level parallel programs (English)
International Conference on Computational Science, 289-296 (2004).
87
Software performance modelling using PEPA nets (English)
WOSP, 13-23 (2004).
88
Analysing UML 2.0 activity diagrams in the software performance engineering process (English)
WOSP, 74-78 (2004).
89
Modelling mobility with PEPA nets (English)
ISCIS, 513-522 (2004).
90
Performance evaluation for global computation. (English)
Priami, Corrado (ed.), Global computing. Programming environments, languages, security, and analysis of systems. IST/FET international workshop, GC 2003, Rovereto, Italy, February 9‒14, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20583-7/pbk). Lect. Notes Comput. Sci. 2874, 229-253 (2003).
91
PEPA nets (English)
MASCOTS Tutorials, 311-335 (2003).
92
Performance evaluation for global computation (English)
Global Computing, 229-253 (2003).
93
PEPA nets: A structured performance modelling formalism. (English)
Field, Tony (ed.) et al., Computer performance evaluation. Modelling techniques and tools. 12th international conference, TOOLS 2002, London, GB, April 14‒17, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43539-5). Lect. Notes Comput. Sci. 2324, 111-130 (2002).
94
Unified specification and performance evaluation using stochastic process algebras. (English)
Perform. Eval. 50, No. 2-3, 79-82 (2002).
95
Product form solution for an insensitive stochastic process algebra structure. (English)
Perform. Eval. 50, No. 2-3, 129-151 (2002).
96
PEPA nets: A structured performance modelling formalism (English)
Computer Performance Evaluation / TOOLS, 111-130 (2002).
97
An Efficient Algorithm for Aggregating PEPA Models. (English)
IEEE Transactions on Software Engineering 27, No.05, 449-464 (2001).
98
The PEPA feature construct. (English)
Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15‒16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 125-142 (2001).
99
An efficient Kronecker representation for PEPA models. (English)
De Alfaro, Luca (ed.) et al., Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2165, 120-135 (2001).
100
Result 81 to 100 of 121 total
Start
Contact
Print
General Help
