Fernando L Pelayo, Fernando Cuartero, Valentin Valero, Diego Cazorla,
PPNAL: Performance Evaluation in an Algebraic
Model for Probabilistic and Non-deterministic Processes, pp
1-12
Yudi Purwantoro, Stuart Bennet,
Decomposition Technique and UltraSAN Software
Tool for Performability Evaluation, pp 13-22
Rob Pooley,
Using UML to Derive Stochastic Process Algebra
Models, pp 23-34
J May, N Shaban, G Hughes,
Formal Coupling of Software Components,
pp 35-44
Peter King, Rob Pooley,
Using UML to Derive Stochastic Petri Net
Models, pp 45-56
Omer F Rana, Antonia J Jones, Peter Harrison,
Automating Performance Analysis of Neural
Algorithms, pp 57-68
Uli Harder, Peter Harrison,
A Queueing Network Model of Oracle Parallel
Server, pp 69-80
Wlodek M Zuberek,
Approximate Performance Evaluation of Distributed
Memory Multithreaded Architectures, pp 81-92
Vassilios D. Tsiantos, Demetres Kouvatsos,
Information Theoretic Decomposition of GE-Type
Closed Queueing Networks with Finite Capacity and Multiple Servers,
pp 93-104
Tomasz Babzynski, Zbigniew Huzar, Jan Magott,
Algebraic Semantics for Markovian Statecharts,
pp 105-120
Jeremy Bradley, Neil Davies,
Measuring Improved Reliability in Stochastic
Systems, pp 121-130
Nigel Thomas,
Extending Quasi-Separability,
pp 131-142
Jane Hillston, Leila Kloul,
Investigating an On-Line Auction System
Using PEPA, pp 143-154
Peter Reichl,
Kelly's Bound, RUAA and the Pricing of Multiclass
Traffic in Loss Networks, pp 155-166
Katinka Wolter, Andrea Zisowski,
On Markov Reward Modelling with Second Order
FSPNs, pp 167-178
Neil Davies,
Can Fairness be Made Transitive in Data
Networks?, pp 179-188
Charalabos Skianis, Demetres Kouvatsos,
A Universal ME Solution for an M/G/1 Queue
with Vacation Periods, pp 189-198
Helen D Karatza,
Gang Scheduling in a Distributed System
with Processor Failures, pp 199-208
P R Mitton, D R W Holton,
Extensions to PEPA to Simplify the Creation
of Component Libraries, pp 209-218
S Y Yousef, C M Strange,
The Development of a Multi-State MMPP Queuing
Model for High-Speed ATM Networks, pp 219-224
Stephen Gilmore, Jane Hillston,
A Feature Construct for PEPA,
pp 225-236
Chris Bewick, Rubem Pereira, Madjid Merabti,
Compressed Video Streams: Network Constrained
Smoothing, pp 237-246
Ariel N Burton, Paul H J Kelly,
Reproducing Inter-process Synchronization
for Performance Prediction using Lightweight System Call Tracing,
pp 247-258
Waldemar Korczynski,
On a Presentation of Petri Nets and Their
Morphisms, pp 259-272
Karim Djemame, Mourad Kara,
Proposals for a Coherent Approach to Cooperation
between TCP and ATM Congestion Control Algorithms, pp 273-284
Rod Fretwell, George Dimakopoulos, Demetres Kouvatsos,
Ignoring Count Correlation in SRD Traffic:
sGGeo Process vs Batch Bernoulli Process, pp 285-294
Frank Ball, Phyllis Callinan, Demetres Kouvatsos, Charalabos Skianis,
A Measurement Based Admission Control Mechanisms
for Use with CBQ in Packet Switched Networks, pp 295-304
Putra Sumari, Madjid Merabti, Rubem Pereira,
Reducing RAM Requirements in Video-on-Demand
Servers, pp 305-314
Y M Li, A H Jones,
The Supervisory Control of Discrete Event
Systems Modeled by Petri Net, pp 315-324
Andre Scholz, Andreas Schmietendorf,
A Risk-driven Performance Engineering Process
Approach and its Evaluation with a Performance Engineering Maturity Model,
pp 325-332
Uli Harder, Tim MacLeod,
Predicting Buffer Hit Ratios with Neural
Networks, pp 333-342
Heinz Westphal,
Performance Engineering and Control of Computer
Systems and Networks, pp 343-354
John Napier, Gordon Hughes, John May,
Implementing Software On-Line Diagnostics
in Safety Critical Systems, pp 355-366
George Bilchev, Ian Marshall, Chris Roadknight, Sverrir Olafsson,
Modelling and Performance Analysis of Cache
Networks, pp 367-378
Catalina M Llado,
On the Overhead Introduced by the Utilisation
of an ORB, pp 379-390
S Loucif, Mohamed Ould-Khaoua, J D Ferguson,
A Comparative Study of Routing Algorithms
in Cube Networks, pp 391-400
M Sulieman, C H Ooi, M Fleury,
Parallel Pipeline to ATM: Graphical Simulation
Techniques, pp 401-412
Junwei Cao, Darren J Kerbyson, Efstathios Papaefstathiou, Graham R Nudd,
Modelling of ASCII High Performance Applications
Using PACE, pp 413-424
|
]
