• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 26 matches

• 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: 51-70
• 
  Sem C. Borst, Onno J. Boxma, R. Núñez Queija:
  Heavy Tails: The Effect of the Service Discipline. Computer Performance Evaluation / TOOLS 2002: 1-30
• 
  Jeremy T. Bradley:
  A Passage-Time Preserving Equivalence for Semi-Markov Processes. Computer Performance Evaluation / TOOLS 2002: 178-187
• 
  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: 289-308
• 
  Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger:
  Symbolic Methods for the State Space Exploration of GSPN Models. Computer Performance Evaluation / TOOLS 2002: 188-199
• 
  Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
  The Möbius State-Level Abstract Functional Interface. Computer Performance Evaluation / TOOLS 2002: 31-50
• 
  Susanna Donatelli, Liliana Ferro:
  Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS 2002: 131-140
• 
  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: 212-219
• 
  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: 233-238
• 
  Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter:
  Enabling Network Caching of Dynamic Web Objects. Computer Performance Evaluation / TOOLS 2002: 329-338
• 
  Hasyim Gautama, Arjan J. C. van Gemund:
  Symbolic Performance Prediction of Data-Dependent Parallel Programs. Computer Performance Evaluation / TOOLS 2002: 259-278
• 
  Stephen Gilmore, Jane Hillston, Marina Ribaudo:
  PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130
• 
  Richard P. Hopkins, Peter J. B. King:
  A Visual Formalism for the Composition of Stochastic Petri Nets. Computer Performance Evaluation / TOOLS 2002: 239-258
• 
  András Horváth, Miklós Telek:
  PhFit: A General Phase-Type Fitting Tool. Computer Performance Evaluation / TOOLS 2002: 82-91
• 
  Krishna Kant, Vijay Tewari, Ravishankar K. Iyer:
  Geist: A Web Traffic Generation Tool. Computer Performance Evaluation / TOOLS 2002: 227-232
• 
  Alexander Klemm, Christoph Lindemann, Marco Lohmann:
  Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process. Computer Performance Evaluation / TOOLS 2002: 92-110
• 
  L. Kumar, Manoj Misra, Isi Mitrani:
  Analysis of a Transaction System with Checkpointing, Failures, and Rollback. Computer Performance Evaluation / TOOLS 2002: 279-288
• 
  Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
• 
  Adeniyi Oke, Richard B. Bunt:
  Hierarchical Workload Characterization for a Busy Web Server. Computer Performance Evaluation / TOOLS 2002: 309-328
• 
  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: 220-226
• 
  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: 159-177
• 
  Dorina C. Petriu, C. Murray Woodside:
  Software Performance Models from System Scenarios in Use Case Maps. Computer Performance Evaluation / TOOLS 2002: 141-158
• 
  Sándor Rácz, Árpád Tari, Miklós Telek:
  MRMSolve: Distribution Estimation of Large Markov Reward Models. Computer Performance Evaluation / TOOLS 2002: 71-81
• 
  Pascal Richard:
  A Tool for Controlling Response Time in Real-Time Systems. Computer Performance Evaluation / TOOLS 2002: 339-348
• 
  Alma Riska, Evgenia Smirni:
  MAMSolver: A Matrix Analytic Methods Tool. Computer Performance Evaluation / TOOLS 2002: 205-211
• 
  Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder:
  Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Lecture Notes in Computer Science 2324, Springer 2002, ISBN 3-540-43539-5 [contents]