Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008940627/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog contributor b12555936.
- catalog contributor b12555937.
- catalog created "c2002.".
- catalog date "2002".
- catalog date "c2002.".
- catalog dateCopyrighted "c2002.".
- catalog description "Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications / Dorina C. Petriu and Hui Shen -- A Passage-Time Preserving Equivalence for Semi-Markov Processes / J. T. Bradley -- Symbolic Methods for the State Space Exploration of GSPN Models / Ian Davies, William J. Knottenbelt and Pieter S. Kritzinger -- PRISM: Probabilistic Symbolic Model Checker / Marta Kwiatkowska, Gethin Norman and David Parker -- MAMSolver: A Matrix Analytic Methods Tool / Alma Riska and Evgenia Smirni -- The MOMBASA Software Environment -- A Toolkit for Performance Evaluation of Multicast-Based Mobility Support / Andreas Festag, Lars Westerhoff and Adam Wolisz -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel / David J. Pearce, Paul H. J. Kelly and Tony Field / [et al.] -- Geist: A Web Traffic Generation Tool / Krishna Kant, Vijay Tewari and Ravishankar Iyer -- ".
- catalog description "DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems / Giuliana Franceschinis, M. Gribaudo and M. Iacono / [et al.] -- A Visual Formalism for the Composition of Stochastic Petri Nets / Richard Hopkins and Peter King -- Symbolic Performance Prediction of Data-Dependent Parallel Programs / Hasyim Gautama and Arjan J. C. van Gemund -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback / L. Kumar, M. Misra and I. Mitrani -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS A Simulation-Based Methodology and Tool / Adrian E. Conway and Yali Zhu -- Hierarchical Workload Characterization for a Busy Web Server / Adeniyi Oke and Rick Bunt -- Enabling Network Caching of Dynamic Web Objects / Pankaj K. Garg, Kave Eshghi and Thomas Gschwind / [et al.] -- A Tool for Controlling Response Time in Real-Time Systems / Pascal Richard.".
- catalog description "Heavy Tails: The Effect of the Service Discipline / S. C. Borst, O. J. Boxma and R. Nunez-Queija -- The Mobius State-Level Abstract Functional Interface / Salem Derisavi, Peter Kemper and Tod Courtney -- The ProC/B Toolset for the Modelling and Analysis of Process Chains / F. Bause, H. Bailner and M. Fischer / [et al.] -- MRMSolve: Distribution Estimation of Large Markov Reward Models / Sandor Racz, Arpad Tari and Miklos Telek -- PhFit: A General Phase-Type Fitting Tool / Andras Horvath and Miklos Telek -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process / Alexander Klemm, Christoph Lindemann and Marco Lohmann -- PEPA Nets: A Structured Performance Modelling Formalism / Stephen Gilmore, Jane Hillston and Marina Ribaudo -- Validation of GSPN and SWN Models through the PROD Tool / Susanna Donatelli and Liliana Ferro -- Software Performance Models from System Scenarios in Use Case Maps / Dorin C. Petriu and Murray Woodside -- ".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xi, 348 p. :".
- catalog identifier "3540435395 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2324.".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2324 Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2002".
- catalog issued "c2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004.2/4 21".
- catalog subject "Computer systems Evaluation Congresses.".
- catalog subject "Computer systems Reliability Congresses.".
- catalog subject "QA76.9.E94 T66 2002".
- catalog tableOfContents "Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications / Dorina C. Petriu and Hui Shen -- A Passage-Time Preserving Equivalence for Semi-Markov Processes / J. T. Bradley -- Symbolic Methods for the State Space Exploration of GSPN Models / Ian Davies, William J. Knottenbelt and Pieter S. Kritzinger -- PRISM: Probabilistic Symbolic Model Checker / Marta Kwiatkowska, Gethin Norman and David Parker -- MAMSolver: A Matrix Analytic Methods Tool / Alma Riska and Evgenia Smirni -- The MOMBASA Software Environment -- A Toolkit for Performance Evaluation of Multicast-Based Mobility Support / Andreas Festag, Lars Westerhoff and Adam Wolisz -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel / David J. Pearce, Paul H. J. Kelly and Tony Field / [et al.] -- Geist: A Web Traffic Generation Tool / Krishna Kant, Vijay Tewari and Ravishankar Iyer -- ".
- catalog tableOfContents "DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems / Giuliana Franceschinis, M. Gribaudo and M. Iacono / [et al.] -- A Visual Formalism for the Composition of Stochastic Petri Nets / Richard Hopkins and Peter King -- Symbolic Performance Prediction of Data-Dependent Parallel Programs / Hasyim Gautama and Arjan J. C. van Gemund -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback / L. Kumar, M. Misra and I. Mitrani -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS A Simulation-Based Methodology and Tool / Adrian E. Conway and Yali Zhu -- Hierarchical Workload Characterization for a Busy Web Server / Adeniyi Oke and Rick Bunt -- Enabling Network Caching of Dynamic Web Objects / Pankaj K. Garg, Kave Eshghi and Thomas Gschwind / [et al.] -- A Tool for Controlling Response Time in Real-Time Systems / Pascal Richard.".
- catalog tableOfContents "Heavy Tails: The Effect of the Service Discipline / S. C. Borst, O. J. Boxma and R. Nunez-Queija -- The Mobius State-Level Abstract Functional Interface / Salem Derisavi, Peter Kemper and Tod Courtney -- The ProC/B Toolset for the Modelling and Analysis of Process Chains / F. Bause, H. Bailner and M. Fischer / [et al.] -- MRMSolve: Distribution Estimation of Large Markov Reward Models / Sandor Racz, Arpad Tari and Miklos Telek -- PhFit: A General Phase-Type Fitting Tool / Andras Horvath and Miklos Telek -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process / Alexander Klemm, Christoph Lindemann and Marco Lohmann -- PEPA Nets: A Structured Performance Modelling Formalism / Stephen Gilmore, Jane Hillston and Marina Ribaudo -- Validation of GSPN and SWN Models through the PROD Tool / Susanna Donatelli and Liliana Ferro -- Software Performance Models from System Scenarios in Use Case Maps / Dorin C. Petriu and Murray Woodside -- ".
- catalog title "Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings / Tony Field ... [et al.] (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".