Sign in
Computer Performance Evaluation / TOOLS
2000
2001
2002
2003
2000
2003
Keyphrases
Publications
2003
B. Chandrasekaran
,
Pete Wyckoff
,
Dhabaleswar K. Panda
MIBA: A Micro-Benchmark Suite for Evaluating InfiniBand Architecture Implementations.
Computer Performance Evaluation / TOOLS
(2003)
Takayuki Osogami
,
Mor Harchol-Balter
A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions.
Computer Performance Evaluation / TOOLS
(2003)
Gianfranco Ciardo
,
R. L. Jones III
,
Andrew S. Miner
,
Radu Siminiceanu
Logical and Stochastic Modeling with SMART.
Computer Performance Evaluation / TOOLS
(2003)
Boudewijn R. Haverkort
,
Rachid El Abdouni Khayari
,
Ramin Sadre
A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies.
Computer Performance Evaluation / TOOLS
(2003)
Kai-Steffen Hielscher
,
Reinhard German
A Low-Cost Infrastructure for High Precision High Volume Performance Measurements of Web Clusters.
Computer Performance Evaluation / TOOLS
(2003)
Jing Xu
,
C. Murray Woodside
,
Dorina C. Petriu
Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time.
Computer Performance Evaluation / TOOLS
(2003)
Li Zhang
,
Zhen Liu
,
Anton Riabov
,
Monty Schulman
,
Cathy H. Xia
,
Fan Zhang
A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control.
Computer Performance Evaluation / TOOLS
(2003)
Henrik C. Bohnenkamp
,
Holger Hermanns
,
Joost-Pieter Katoen
,
Ric Klaren
The Modest Modeling Tool and Its Implementation.
Computer Performance Evaluation / TOOLS
(2003)
David M. Nicol
,
Michael Liljenstam
,
Jason Liu
Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure.
Computer Performance Evaluation / TOOLS
(2003)
Katinka Wolter
,
Kristian Kasprowicz
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance.
Computer Performance Evaluation / TOOLS
(2003)
Jirka Klaue
,
Berthold Rathke
,
Adam Wolisz
EvalVid - A Framework for Video Transmission and Quality Evaluation.
Computer Performance Evaluation / TOOLS
(2003)
Luciano Lenzini
,
Beatrice Meini
,
Enzo Mingozzi
,
Giovanni Stea
An M/G/1 Queuing System with Multiple Vacations to Assess the Performance of a Simplified Deficit Round Robin Model.
Computer Performance Evaluation / TOOLS
(2003)
Anne Benoit
,
Leonardo Brenner
,
Paulo Fernandes
,
Brigitte Plateau
,
William J. Stewart
The PEPS Software Tool.
Computer Performance Evaluation / TOOLS
(2003)
Tao Zheng
,
C. Murray Woodside
Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines.
Computer Performance Evaluation / TOOLS
(2003)
Armin Heindl
,
Kenneth Mitchell
,
Appie van de Liefvoort
The Correlation Region of Second-Order MAPs with Application to Queueing Network Decomposition.
Computer Performance Evaluation / TOOLS
(2003)
Peter Buchholz
An EM-Algorithm for MAP Fitting from Real Traffic Data.
Computer Performance Evaluation / TOOLS
(2003)
Peter G. Harrison
,
Soraya Zertal
Queueing Models with Maxima of Service Times.
Computer Performance Evaluation / TOOLS
(2003)
Takayuki Osogami
,
Mor Harchol-Balter
Necessary and Sufficient Conditions for Representing General Distributions by Coxians.
Computer Performance Evaluation / TOOLS
(2003)
volume 2794, 2003
Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
Computer Performance Evaluation / TOOLS
2794 (2003)
2002
Susanna Donatelli
,
Liliana Ferro
Validation of GSPN and SWN Models through the PROD Tool.
Computer Performance Evaluation / TOOLS
(2002)
Salem Derisavi
,
Peter Kemper
,
William H. Sanders
,
Tod Courtney
The Möbius State-Level Abstract Functional Interface.
Computer Performance Evaluation / TOOLS
(2002)
Richard P. Hopkins
,
Peter J. B. King
A Visual Formalism for the Composition of Stochastic Petri Nets.
Computer Performance Evaluation / TOOLS
(2002)
Adrian E. Conway
,
Yali Zhu
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool.
Computer Performance Evaluation / TOOLS
(2002)
Giuliana Franceschinis
,
Marco Gribaudo
,
Mauro Iacono
,
Nicola Mazzocca
,
Valeria Vittorini
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Computer Performance Evaluation / TOOLS
(2002)
Pankaj K. Garg
,
Kave Eshghi
,
Thomas Gschwind
,
Boudewijn R. Haverkort
,
Katinka Wolter
Enabling Network Caching of Dynamic Web Objects.
Computer Performance Evaluation / TOOLS
(2002)
Jeremy T. Bradley
A Passage-Time Preserving Equivalence for Semi-Markov Processes.
Computer Performance Evaluation / TOOLS
(2002)
Andreas Festag
,
Lars Westerhoff
,
Adam Wolisz
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.
Computer Performance Evaluation / TOOLS
(2002)
L. Kumar
,
Manoj Misra
,
Isi Mitrani
Analysis of a Transaction System with Checkpointing, Failures, and Rollback.
Computer Performance Evaluation / TOOLS
(2002)
Alma Riska
,
Evgenia Smirni
MAMSolver: A Matrix Analytic Methods Tool.
Computer Performance Evaluation / TOOLS
(2002)
Dorina C. Petriu
,
C. Murray Woodside
Software Performance Models from System Scenarios in Use Case Maps.
Computer Performance Evaluation / TOOLS
(2002)
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
PRISM: Probabilistic Symbolic Model Checker.
Computer Performance Evaluation / TOOLS
(2002)
Stephen Gilmore
,
Jane Hillston
,
Marina Ribaudo
PEPA Nets: A Structured Performance Modelling Formalism.
Computer Performance Evaluation / TOOLS
(2002)
Falko Bause
,
Heinz Beilner
,
Markus Fischer
,
Peter Kemper
,
Markus Völker
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
Computer Performance Evaluation / TOOLS
(2002)
Ian Davies
,
William J. Knottenbelt
,
Pieter S. Kritzinger
Symbolic Methods for the State Space Exploration of GSPN Models.
Computer Performance Evaluation / TOOLS
(2002)
Sándor Rácz
,
Árpád Tari
,
Miklós Telek
MRMSolve: Distribution Estimation of Large Markov Reward Models.
Computer Performance Evaluation / TOOLS
(2002)
Hasyim Gautama
,
Arjan J. C. van Gemund
Symbolic Performance Prediction of Data-Dependent Parallel Programs.
Computer Performance Evaluation / TOOLS
(2002)
Pascal Richard
A Tool for Controlling Response Time in Real-Time Systems.
Computer Performance Evaluation / TOOLS
(2002)
Sem C. Borst
,
Onno J. Boxma
,
R. Núñez Queija
Heavy Tails: The Effect of the Service Discipline.
Computer Performance Evaluation / TOOLS
(2002)
Krishna Kant
,
Vijay Tewari
,
Ravishankar K. Iyer
Geist: A Web Traffic Generation Tool.
Computer Performance Evaluation / TOOLS
(2002)
Alexander Klemm
,
Christoph Lindemann
,
Marco Lohmann
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process.
Computer Performance Evaluation / TOOLS
(2002)
Adeniyi Oke
,
Richard B. Bunt
Hierarchical Workload Characterization for a Busy Web Server.
Computer Performance Evaluation / TOOLS
(2002)
Dorina C. Petriu
,
Hui Shen
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.
Computer Performance Evaluation / TOOLS
(2002)
András Horváth
,
Miklós Telek
PhFit: A General Phase-Type Fitting Tool.
Computer Performance Evaluation / TOOLS
(2002)
David J. Pearce
,
Paul H. J. Kelly
,
Tony Field
,
Uli Harder
GILK: A Dynamic Instrumentation Tool for the Linux Kernel.
Computer Performance Evaluation / TOOLS
(2002)
volume 2324, 2002
Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings
Computer Performance Evaluation / TOOLS
2324 (2002)
2000
Peter J. B. King
,
Rob Pooley
Derivation of Petri Net Performance Models from UML Specifications of Communications Software.
Computer Performance Evaluation / TOOLS
(2000)
Carlos Juiz
,
Ramón Puigjaner
Queueing Analysis of Pools in Soft Real-Time Systems.
Computer Performance Evaluation / TOOLS
(2000)
William A. Ward Jr.
,
David D. Langan
Calculation and Use of Peaking Factors for Remote Terminal Emulation.
Computer Performance Evaluation / TOOLS
(2000)
Srinivasan Ramani
,
Kishor S. Trivedi
SREPT: Software Reliability Estimation and Prediction Tool.
Computer Performance Evaluation / TOOLS
(2000)
volume 1786, 2000
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings
Computer Performance Evaluation / TOOLS
1786 (2000)