Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540435396, 9783540460299

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Validation of GSPN and SWN Models through the PROD Tool

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_8 ◽

2002 ◽

pp. 131-140 ◽

Cited By ~ 2

Author(s):

Susanna Donatelli ◽

Liliana Ferro

Download Full-text

The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_15 ◽

2002 ◽

pp. 212-219 ◽

Cited By ~ 1

Author(s):

Andreas Festag ◽

Lars Westerhoff ◽

Adam Wolisz

Keyword(s):

Performance Evaluation ◽

Software Environment ◽

Mobility Support

Download Full-text

The ProC/BToolset for the Modelling and Analysis of Process Chains

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_3 ◽

2002 ◽

pp. 51-70 ◽

Cited By ~ 9

Author(s):

F. Bause ◽

H. Beilner ◽

M. Fischer ◽

P. Kemper ◽

M. Völker

Keyword(s):

Process Chains

Download Full-text

Hierarchical Workload Characterization for a Busy Web Server

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_23 ◽

2002 ◽

pp. 309-328 ◽

Cited By ~ 9

Author(s):

Adeniyi Oke ◽

Rick Bunt

Keyword(s):

Web Server ◽

Workload Characterization

Download Full-text

Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_6 ◽

2002 ◽

pp. 92-110 ◽

Cited By ~ 9

Author(s):

Alexander Klemm ◽

Christoph Lindemann ◽

Marco Lohmann

Keyword(s):

Ip Networks ◽

Markovian Arrival Process ◽

Arrival Process ◽

Traffic Modeling ◽

Batch Markovian Arrival Process

Download Full-text

Geist: A Web Traffic Generation Tool

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_17 ◽

2002 ◽

pp. 227-232 ◽

Cited By ~ 6

Author(s):

Krishna Kant ◽

Vijay Tewari ◽

Ravishankar Iyer

Keyword(s):

Web Traffic ◽

Traffic Generation

Download Full-text

Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_10 ◽

2002 ◽

pp. 159-177 ◽

Cited By ~ 56

Author(s):

Dorina C. Petriu ◽

Hui Shen

Keyword(s):

Graph Grammar

Download Full-text

GILK: A Dynamic Instrumentation Tool for the Linux Kernel

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_16 ◽

2002 ◽

pp. 220-226 ◽

Cited By ~ 8

Author(s):

David J. Pearce ◽

Paul H. J. Kelly ◽

Tony Field ◽

Uli Harder

Keyword(s):

Linux Kernel ◽

Dynamic Instrumentation

Download Full-text

Symbolic Performance Prediction of Data-Dependent Parallel Programs

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_20 ◽

2002 ◽

pp. 259-278

Author(s):

Hasyim Gautama ◽

Arjan J. C. van Gemund

Keyword(s):

Performance Prediction ◽

Parallel Programs ◽

Symbolic Performance

Download Full-text

PRISM: Probabilistic Symbolic Model Checker

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science ◽

10.1007/3-540-46029-2_13 ◽

2002 ◽

pp. 200-204 ◽

Cited By ~ 197

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Keyword(s):

Model Checker ◽

Symbolic Model

Download Full-text

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Validation of GSPN and SWN Models through the PROD Tool

The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support

The ProC/BToolset for the Modelling and Analysis of Process Chains

Hierarchical Workload Characterization for a Busy Web Server

Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process

Geist: A Web Traffic Generation Tool

Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

GILK: A Dynamic Instrumentation Tool for the Linux Kernel

Symbolic Performance Prediction of Data-Dependent Parallel Programs

PRISM: Probabilistic Symbolic Model Checker

Computer Performance Evaluation: Modelling Techniques and Tools - Lecture Notes in Computer Science
Latest Publications