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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540435396, 9783540460299
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2002 ◽  
pp. 51-70 ◽  
Author(s):  
F. Bause ◽  
H. Beilner ◽  
M. Fischer ◽  
P. Kemper ◽  
M. Völker
Keyword(s):  
Process Chains

Geist: A Web Traffic Generation Tool

2002 ◽  
pp. 227-232 ◽  
Author(s):  
Krishna Kant ◽  
Vijay Tewari ◽  
Ravishankar Iyer
Keyword(s):  
Web Traffic ◽  
Traffic Generation

GILK: A Dynamic Instrumentation Tool for the Linux Kernel

2002 ◽  
pp. 220-226 ◽  
Author(s):  
David J. Pearce ◽  
Paul H. J. Kelly ◽  
Tony Field ◽  
Uli Harder
Keyword(s):  
Linux Kernel ◽  
Dynamic Instrumentation

scholarly journals PRISM: Probabilistic Symbolic Model Checker

2002 ◽  
pp. 200-204 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
David Parker
Keyword(s):  
Model Checker ◽  
Symbolic Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document