The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour. The 10th International Conference on Modelling Techniques and Tools for C- puter Performance Evaluation, held in Palma in September 1998, was organised with the aim of creating a forum in which both theoreticians and practitioners could interchange recent techniques, tools, and experiences in these areas. This meeting follows the predecessor conferences of this series: 1984 Paris 1988 Palma 1994 Wien 1985 Sophia Antipolis 1991 Torino 1995 Heidelberg 1987 Paris 1992 Edinburgh 1997 Saint Malo The tradition of this conference series continued this year where many high quality papers were submitted. The Programme Committee had a di cult task in selecting the best papers. Many ne papers could not be included in the program due to space constraints. All accepted papers are included in this volume. Also, a set of submissions describing performance modelling tools was transformed into tool presentations and demonstrations. A brief description of these tools is included in this volume. The following table gives the overall statistics for the submissions.
Erscheinungsdatum: 26.08.1998

lgli/A:\compressed\10.1007%2F3-540-68061-6.pdf

lgrsnf/A:\compressed\10.1007%2F3-540-68061-6.pdf

nexusstc/Computer Performance Evaluation: Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings/fd70791651a8e6513e560a88d9442b82.pdf

scihub/10.1007/3-540-68061-6.pdf

zlib/Computers/Programming/Rajive Bagrodia, Mario Gerla (auth.), Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.)/Computer Performance Evaluation: Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings_2098443.pdf

Computer Performance Evaluation: Modelling Techniques and Tools: 10th International Conference, Tools '98, Palma De Mallorca, Spain, September 1998: Proceedings (Lecture Notes in Computer Science)

Computer Performance Evaluation : 10th International Conference, Tools'98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings. Modelling Techniques and Tools

Ramon Puigjaner; Nunzio N Savino; Bartomeu Serra; International Conference on Modeling Techniques and Tools for Computer Performance Evaluation

Ramon Puigjaner; International Conference on Modelling Techniques and Tools for Computer Performance Evaluation

PDFsharp 1.32.2608-g (www.pdfsharp.net)

4<8=8AB@0B>@

Springer Berlin Heidelberg : Imprint : Springer

Springer Spektrum. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer London, Limited

Springer-Verlag Telos

Lecture notes in computer science, 1469, 1st ed. 1998, Berlin, Heidelberg, 1998

Lecture notes in computer science,, 1469, Berlin, New York, Germany, 1998

Springer Nature, Berlin, Heidelberg, 2003

January 15, 1999

Germany, Germany

sm21705316

producers:
PDFsharp 1.32.2608-g (www.pdfsharp.net)

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540649492","3540680616","9783540649496","9783540680611"],"issns":["0302-9743"],"last_page":376,"publisher":"Springer","series":"Lecture Notes in Computer Science 1469"}

Includes bibliographical references and index.

Lecture Notes in Computer Science 1
Computer Performance Evaluation 3
Preface 5
Programme Committee 7
Organising Committee 7
Referees 8
Table of Contents 10
A Modular and Scalable Simulation Tool for LargeWireless Networks 13
Introduction 13
GloMoSim: wireless simulation platform 15
Scalability 17
TCP and MAC layer interaction 19
Related Work 24
Conclusion 24
References 25
1 Introduction 27
2 Process and Object Utilization in a Multi-Class Distributed System 29
2.1 Performance Models for Distributed Applications and Object Utilization 29
2.2 An Objective Function for Object Utilization 30
2.3 Software Constraints 32
3 Algorithm for Finding Maximum Object Utilization 33
3.1 The Search Algorithm under Non-Asymptotic Conditions 33
3.2 Case Study, an Internet Application 34
4 Using Object Utilization to Define Activation Policy 36
5 Summary and Future Work 38
References 38
Compositional Performance Modellingwith the TIPPtool 63
Introduction 63
Foundations of Stochastic Process Algebras 64
Process algebras 64
Stochastic Process Algebras 65
Bisimulation and Compositional analysis 66
Tool overview 68
Model specification 68
Analysing a specification 71
Generating and analysing the semantic model 71
Performance evaluation 71
Compositional model reduction 72
Conclusion 73
References 73
QNA-MC: A Performance Evaluation Tool forCommunication Networks with Multicast Data Streams 75
Introduction 75
Standard QNA 76
Model specification 76
Traffic equations 77
Performance measures 77
Integration of Multicast Routes 77
Input Conversion 78
Output Conversion 79
Tool Support: QNA-MC 80
Example Application: Multicast Routing Algorithms 82
Introduction 82
Modelling the Topology of the Basic MBONE-EU 82
Parameterization of the Basic MBONE-EU 83
Definition of Multicast Routes 84
Conclusions 85
References 86
Introduction 87
Client-server models 88
Central Server Models 89
The Ethernet and its Modelling 92
4.1 Modus Operandi 93
4.2 An Ethernet Model 94
4.2.1 A Model with Constant Message Lengths 94
4.2.2 General Message Length Distribution 97
Numerical Results 98
5.1 Efficiency of the Analytical Model 101
5.2 Parameterisation of an M/M/1 Queue 101
The Athene Client-Server tool 102
Summary and Future Work 103
Acknowledgements 104
References 104
Simulative Performance Evaluation of theTemporary Pseudonym Method forProtecting Location Information in GSM Networks 117
Introduction 117
The Method of Temporary Pseudonyms 118
Simulation Results 119
Variation of the Mobility Behaviour 121
Variation of the Pseudonym Length 124
Variation of Pseudonym Change Rate 125
Variation of the Call Rate 127
Concluding Remarks 127
References 128
Introduction 129
The MDM Approach For Performance Analysis: Overview 130
Behavioral Model Description 132
Probability, Parallelism and the State SpaceExploration Problem 177
Introduction 177
State Space Exploration 178
Dynamic Probabilistic Hash Table Compaction 179
Reliability of the probabilistic dynamic state hash table 180
Space complexity 181
Parallel State Space Exploration 182
Results 185
Choosing good hash functions 188
Conclusion and future work 190
Acknowledgements 190
References 191
Introduction 192
Terminology 193
Problem to Solve 193
State Space Division 194
Basic Cube Relationships 195
The ``little'' Operator ``$natural $'' 196
Examples 197
Compare I_VT with VT 197
Conclusion 202
Performance Evaluation ofWeb Proxy Cache Replacement Policies 205
INTRODUCTION 205
DATA COLLECTION AND REDUCTION 207
Data Collection 207
Data Reduction 208
WORKLOAD CHARACTERIZATION 209
EXPERIMENTAL DESIGN 210
Factors and Levels 210
Performance Metrics 211
Other Design Issues 212
SIMULATION RESULTS 213
Parameterization 213
Comparison of Replacement Policies 214
SUMMARY AND CONCLUSIONS 217
Acknowledgments 217
REFERENCES 217
Scheduling Write Backs for Weakly-ConnectedMobile Clients 231
ntroduction 231
Experimental Setup 233
The Mobile Environment 233
Collection of Workload Traces 234
Simulation Model 235
Performance Metrics 236
The Experiments 237
Policies 237
Results 238
Conclusions 241
Acknowledgements 242
References 242
On Choosing a Task Assignment Policy for aDistributed Server System 243
Introduction 243
Background and Previous Work 244
Fundamental Results in Task Assignment 244
Measurements of task size distributions in computer applications 245
Model and Problem Formulation 246
A New Size-Based Task Assignment Policy: SITA-E 248
Simulation Results 249
Analysis of Task Assignment Policies 250
Conclusion 253
References 254
Introduction 292
Background 293
The Queue Line and Fraction Line Approximate MVA Algorithms 295
The Queue Line Algorithm 295
The Fraction Line Algorithm 297
Accuracy of the Solutions of the Algorithms 298
Experiments for Multiple Class Separable Queueing Networks 299
Experiments for Single Class Separable Queueing Networks 300
Summary and Conclusions 301
Introduction 318
SMART: A Hybrid Performance Evaluation Tool 319
Distributed Object Architectures 322
Models for Distributed Object Architectures 324
Integration Within SMART 328
Conclusion and Future Work 331
1. Introduction 333
2. Related Work 334
4. Object Management Performance Issues 336
5. Distributed System Models 338
5.1 Approximate Models of Software Synchronization 338
5.1.1 Synchronization Types 338
5.1.2 Approximate Software Models 339
5.2 Detailed Models of Synchronization 340
5.2.1 MSC Extensions to Represent CORBA Coordination 340
5.2.2 Software Execution Model Extensions 340
6. Case Study 342
6.1 Approximate Model 342
6.2 Advanced System Execution Model 344
7. Summary and Conclusions 346
8. References 347
HIMAP: Architecture, Features, and Hierarchical ModelSpecication Techniques 360
Introduction 360
Hierarchical Modeling 361
Example 361
Conclusion 363
References 363
SvPablo: A Multi-language PerformanceAnalysis System 364
Overview 364
Instrumentation 365
Analysis 365
Application 366
References 366
A Reconfigurable Hardware Tool for High Speed Network Simulation 372
Introduction 372
Hardware architecture and software environment 373
Architecture 373
Software environment 373
Simulation control 374
Application to a three stages eight-by-eight switch 375
Conclusion and extension 376
References 376
Hierarchical Stochastic Reward Net Solver Package 381
Introduction 381
Modularization 382
The Hierarchical Stochastic Reward Net Solver 383
Conclusion 385
References 385
Index 386

A Modular and Scalable Simulation Tool for Large Wireless Networks....Pages 1-14
Designing Process Replication and Threading Policies: A Quantitative Approach....Pages 15-26
SREPT: Software Reliability Estimation and Prediction Tool....Pages 27-36
Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurable Tools....Pages 37-50
Compositional Performance Modelling with the TIPPtool....Pages 51-62
QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams....Pages 63-74
Response Times in Client-Server Systems....Pages 75-92
A Queueing Model with Varying Service Rate for ABR....Pages 93-104
Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks....Pages 105-116
A Model Driven Monitoring Approach to Support the Multi-view Performance Analysis of Parallel Responsive Applications....Pages 117-128
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study....Pages 129-141
A Perturbation and Reduction Based Algorithm....Pages 142-153
A Comparison of Numerical Splitting-based Methods for Markovian Dependability and Performability Models....Pages 154-164
Probability, Parallelism and the State Space Exploration Problem....Pages 165-179
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation....Pages 180-192
Performance Evaluation of Web Proxy Cache Replacement Policies....Pages 193-206
Performance Analysis of a WDM Bus Network Based on GSPN Models?....Pages 207-218
Scheduling Write Backs for Weakly-Connected Mobile Clients....Pages 219-230
On Choosing a Task Assignment Policy for a Distributed Server System....Pages 231-242
Structured Characterization of the Markov Chain of Phase-Type SPN....Pages 243-254
Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool....Pages 255-266
A Queue-Shift Approximation Technique for Product-Form Queueing Networks....Pages 267-279
Experiments with Improved Approximate Mean Value Analysis Algorithms....Pages 280-291
Extending SMART2 to Predict the Behaviour of PL/SQL-based Applications....Pages 292-305
Performance Evaluation of Distributed Object Architectures....Pages 306-320
Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE·ED ....Pages 321-335
Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems....Pages 336-339
Snuffle : Integrated Measurement and Analysis Tool for Internet and its Use in Wireless In-House Environment....Pages 340-343
A Tool to Model Network Transient States with the Use of Diffusion Approximation....Pages 344-347
HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques....Pages 348-351
SvPablo: A Multi-language Performance Analysis System....Pages 352-355
A Toolbox for Functional and Quantitative Analysis of DEDS....Pages 356-359
A Reconfigurable Hardware Tool for High Speed Network Simulation....Pages 360-364
JAGATH: A Methodology and its Application for Distributed Systems Performance Evaluation and Control....Pages 365-368
Hierarchical Stochastic Reward Net Solver Package....Pages 369-373

<p>This book constitutes the refereed proceedings of the 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Tools'98, held in Palma de Mallorca, Spain, in September 1998.<br>The 25 revised full papers presented were selected from a total of 69 submissions. Also included are one invited paper and nine tool descriptions. The book is divided into topical sections on software performance tools, network performance, measurement and modelling tools, algorithmic techniques, case studies, Petri net techniques, MVA techniques, and software performance evaluation methods.</p>

This book constitutes the refereed proceedings of the 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Tools'98, held in Palma de Mallorca, Spain, in September 1998. The 25 revised full papers presented were selected from a total of 69 submissions. Also included are one invited paper and nine tool descriptions. The book is divided into topical sections on software performance tools, network performance, measurement and modelling tools, algorithmic techniques, case studies, Petri net techniques, MVA techniques, and software performance evaluation methods

2013-08-01