default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. Computer Performance Evaluation / TOOLS 2000: Schaumburg, IL, USA
- Boudewijn R. Haverkort
, Henrik C. Bohnenkamp, Connie U. Smith:
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Lecture Notes in Computer Science 1786, Springer 2000, ISBN 3-540-67260-5
Invited Paper
- Mark Crovella:
Performance Evaluation with Heavy Tailed Distributions. 1-9
Queueing Network Models
- Peter Maly, C. Murray Woodside:
Layered Modeling of Hardware and Software, with Application to a LAN Extension Router. 10-24 - Marin Litoiu, Jerome A. Rolia:
Object Allocation for Distributed Applications with Complex Workloads. 25-39 - Rosa M. M. Leão, Edmundo de Souza e Silva, Sidney C. de Lucena:
A Set of Tools for Traffic Modeling, Analysis and Experimentation. 40-55 - Carlos Juiz, Ramón Puigjaner:
Queueing Analysis of Pools in Soft Real-Time Systems. 56-70 - Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi:
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks. 71-85 - Armin Heindl:
Decomposition of General Tandem Queueing Networks with MMPP Input. 86-100 - Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan:
Exact and Approximate Solutions for a Class of Infinite Markovian Models. 101-116 - Peter G. Harrison, Catalina M. Lladó:
Performance Evaluation of a Distributed Enterprise Data Mining System. 117-131
Optimisation in Mobile Networks
- Claus Bauer:
Minimization of the Impact of Subscriber Mobility on the Resource of a GSM Network. 132-144 - Michael D. Hamilton, Isi Mitrani:
Optimal Allocation Policies for Mobile Agents. 145-155
Stochastic Petri Nets
- Reinhard German:
Iterative Analysis of Markov Regenerative Models. 156-170 - András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek:
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. 171-187 - Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel:
Petri Net Modelling and Performability Evaluation with TimeNET 3.0. 188-202 - Susanna Donatelli, Peter Kemper:
Integrating Synchronization with Priority into a Kronecker Representation. 203-215
Simulation
- Bruno Tuffin, Kishor S. Trivedi:
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. 216-229 - José Incera, Raymond A. Marie, David Ros, Gerardo Rubino:
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks. 230-246
Formal Methods and Performance Evaluation
- Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures. 247-261 - Peter J. B. King, Rob Pooley:
Derivation of Petri Net Performance Models from UML Specifications of Communications Software. 262-276
Measurement Tools and Applications
- Peter H. Hughes, Gunnar Brataas:
Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications. 277-293 - Wolfgang Karl, Martin Schulz, Jörg Trinitis:
Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE. 294-308 - Goedson T. Paixão, Wagner Meira Jr., Virgílio A. F. Almeida, Daniel A. Menascé, Adriano C. M. Pereira:
Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites. 309-323
Tool Descriptions
- Ramin Sadre, Boudewijn R. Haverkort:
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. 324-327 - Joanne Bechta Dugan:
Galileo: A Tool for Dynamic Fault Tree Analysis. 328-331 - David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders:
Möbius: An Extensible Tool for Performance and Dependability Modeling. 332-336 - Sándor Rácz, Béla P. Tóth, Miklós Telek:
MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models. 337-340 - William A. Ward Jr., David D. Langan:
Calculation and Use of Peaking Factors for Remote Terminal Emulation. 341-344 - Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000. 345-349 - Tim R. Norton:
The Simalytic Modeling Technique: Overview for Application Performance Analysis. 350-353 - Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi:
SPNP: Stochastic Petri Nets. Version 6.0. 354-357 - Srinivasan Ramani, Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool. 358-361 - Euan W. Dempster, M. Howard Williams, Neven Tomov, Chai Seng Pua, Albert G. Burger, Peter J. B. King:
STEADY - A Tool for Predicting Performance of Parallel DBMSs. 362-365 - Edmundo de Souza e Silva, Rosa M. M. Leão:
The TANGRAM-II Environment. 366-369 - Marco Bernardo:
Implementing Symbolic Models for Value Passing in TwoTowers. 370-373 - Adrian E. Conway:
Monitoring Application-Level VoIP Grade of Service at a PSTM-IP Network Gateway. 374-377 - J. Jenny Li, Joseph Robert Horgan:
chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. 378-381
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-18 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
