Conferences in DBLP
Sem C. Borst , Onno J. Boxma , R. Núñez Queija Heavy Tails: The Effect of the Service Discipline. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:1-30 [Conf ] Salem Derisavi , Peter Kemper , William H. Sanders , Tod Courtney The Möbius State-Level Abstract Functional Interface. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:31-50 [Conf ] Falko Bause , Heinz Beilner , Markus Fischer , Peter Kemper , Markus Völker The ProC/B Toolset for the Modelling and Analysis of Process Chains. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:51-70 [Conf ] Sándor Rácz , Árpád Tari , Miklós Telek MRMSolve: Distribution Estimation of Large Markov Reward Models. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:71-81 [Conf ] András Horváth , Miklós Telek PhFit: A General Phase-Type Fitting Tool. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:82-91 [Conf ] Alexander Klemm , Christoph Lindemann , Marco Lohmann Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:92-110 [Conf ] Stephen Gilmore , Jane Hillston , Marina Ribaudo PEPA Nets: A Structured Performance Modelling Formalism. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:111-130 [Conf ] Susanna Donatelli , Liliana Ferro Validation of GSPN and SWN Models through the PROD Tool. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:131-140 [Conf ] Dorina C. Petriu , C. Murray Woodside Software Performance Models from System Scenarios in Use Case Maps. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:141-158 [Conf ] Dorina C. Petriu , Hui Shen Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:159-177 [Conf ] Jeremy T. Bradley A Passage-Time Preserving Equivalence for Semi-Markov Processes. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:178-187 [Conf ] Ian Davies , William J. Knottenbelt , Pieter S. Kritzinger Symbolic Methods for the State Space Exploration of GSPN Models. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:188-199 [Conf ] Marta Z. Kwiatkowska , Gethin Norman , David Parker PRISM: Probabilistic Symbolic Model Checker. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:200-204 [Conf ] Alma Riska , Evgenia Smirni MAMSolver: A Matrix Analytic Methods Tool. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:205-211 [Conf ] Andreas Festag , Lars Westerhoff , Adam Wolisz The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:212-219 [Conf ] David J. Pearce , Paul H. J. Kelly , Tony Field , Uli Harder GILK: A Dynamic Instrumentation Tool for the Linux Kernel. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:220-226 [Conf ] Krishna Kant , Vijay Tewari , Ravishankar K. Iyer Geist: A Web Traffic Generation Tool. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:227-232 [Conf ] Giuliana Franceschinis , Marco Gribaudo , Mauro Iacono , Nicola Mazzocca , Valeria Vittorini DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:233-238 [Conf ] Richard P. Hopkins , Peter J. B. King A Visual Formalism for the Composition of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:239-258 [Conf ] Hasyim Gautama , Arjan J. C. van Gemund Symbolic Performance Prediction of Data-Dependent Parallel Programs. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:259-278 [Conf ] L. Kumar , Manoj Misra , Isi Mitrani Analysis of a Transaction System with Checkpointing, Failures, and Rollback. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:279-288 [Conf ] Adrian E. Conway , Yali Zhu Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:289-308 [Conf ] Adeniyi Oke , Richard B. Bunt Hierarchical Workload Characterization for a Busy Web Server. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:309-328 [Conf ] Pankaj K. Garg , Kave Eshghi , Thomas Gschwind , Boudewijn R. Haverkort , Katinka Wolter Enabling Network Caching of Dynamic Web Objects. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:329-338 [Conf ] Pascal Richard A Tool for Controlling Response Time in Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Computer Performance Evaluation / TOOLS, 2002, pp:339-348 [Conf ]