Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008400599/catalog> ?p ?o. }

Showing items 1 to 32 of 32 with 100 items per page.

catalog contributor b11701744.
catalog contributor b11701745.
catalog contributor b11701746.
catalog contributor b11701747.
catalog created "c2000.".
catalog date "2000".
catalog date "c2000.".
catalog dateCopyrighted "c2000.".
catalog description "Exploiting Modal Logic to Express Performance Measures / Graham Clark, Stephen Gilmore and Jane Hillston / [et al.] -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software / Peter King and Rob Pooley -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications / Peter H. Hughes and Gunnar Brataas -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE / Wolfgang Karl, Martin Schulz and Jorg Trinitis -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites / Goedson T. Paixao, Wagner Merin, Jr. and Virgilio A. F. Almeida / [et al.] -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations / Ramin Sadre and Boudewijn R. Haverkort -- Galileo: A Tool for Dynamic Fault Tree Analysis / Joanne Bechta Dugan -- ".
catalog description "Implementing Symbolic Models for Value Passing in Two Towers / Marco Bernardo -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway / Adrian E. Conway -- [chi]Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design / J. Jenny Li and J. Robert Horgan.".
catalog description "Includes bibliographical references and index.".
catalog description "Mobius: An Extensible Tool for Performance and Dependability Modeling / David Daly, Daniel D. Deavours and Jay M. Doyle / [et al.] -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models / Sandor Racz, Bela P. Toth and Miklos Telek -- Calculation and Use of Peaking Factors for Remote Terminal Emulation / William A. Ward, Jr. and David D. Langan -- Reliability and Performability Modeling Using SHARPE 2000 / C. Hirel, R. Sahner and X. Zang / [et al.] -- The Simalytic Modeling Technique: Overview for Application Performance Analysis / Tim R. Norton -- SPNP: Stochastic Petri Nets. Version 6.0 / Christophe Hirel, Bruno Tuffin and Kishor S. Trivedi -- SREPT: Software Reliability Estimation and Prediction Tool / Srinivasan Ramani and Kishor S. Trivedi -- STEADY -- A Tool for Predicting Performance of Parallel DBMSs / Euan W. Dempster, M. Howard Williams and Neven T. Tomov / [et al.] -- The TANGRAM-II Environment / Edmundo de Souza e Silva and Rosa M. M. Leao -- ".
catalog description "Performance Evaluation of a Distributed Enterprise Data Mining System / Peter G. Harrison and Catalina M. Llado -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network / Claus Bauer -- Optimal Allocation Policies for Mobile Agents / M. D. Hamilton and I. Mitrani -- Iterative Analysis of Markov Regenerative Models / Reinhard German -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets / Andras Horvath, Antonio Pulifito and Marco Scarpa / [et al.] -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 / Armin Zimmermann, Jorn Freiheit and Reinhard German / [et al.] -- Integrating Synchronization with Priority into a Kronecker Representation / Susanna Donatelli and Peter Kemper -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package / Bruno Tuffin and Kishor S. Trivedi -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks / Jose Incera, Raymond Marie and David Ros / [et al.] -- ".
catalog description "Performance Evaluation with Heavy Tailed Distributions / Mark E. Crovella -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router / Peter Maly and C. Murray Woodside -- Object Allocation for Distributed Applications with Complex Workloads / Marin Litoiu and Jerome Rolia -- A Set of Tools for Traffic Modeling, Analysis and Experimentation / Rosa M. M. Leao, Edmundo de Souza e Silva and Sidney C. de Lucena -- Queueing Analysis of Pools in Soft Real-Time Systems / Carlos Juiz and Ramon Puigjaner -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks / Paolo Cremonesi, Emilia Rosti and Giuseppe Serazzi -- Decomposition of General Tandem Queueing Networks with MMPP Input / Armin Heindl -- Exact and Approximate Solutions for a Class of Infinite Markovian Models / Michela Meo, Edmundo de Souza e Silva and Marco Ajmone Marsan -- ".
catalog extent "xiv, 381 p. :".
catalog identifier "3540672605 (softcover : alk. paper)".
catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1786".
catalog issued "2000".
catalog issued "c2000.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "004.1 21".
catalog subject "Electronic digital computers Evaluation.".
catalog subject "QA76.9.E94 T66 2000".
catalog tableOfContents "Exploiting Modal Logic to Express Performance Measures / Graham Clark, Stephen Gilmore and Jane Hillston / [et al.] -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software / Peter King and Rob Pooley -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications / Peter H. Hughes and Gunnar Brataas -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE / Wolfgang Karl, Martin Schulz and Jorg Trinitis -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites / Goedson T. Paixao, Wagner Merin, Jr. and Virgilio A. F. Almeida / [et al.] -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations / Ramin Sadre and Boudewijn R. Haverkort -- Galileo: A Tool for Dynamic Fault Tree Analysis / Joanne Bechta Dugan -- ".
catalog tableOfContents "Implementing Symbolic Models for Value Passing in Two Towers / Marco Bernardo -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway / Adrian E. Conway -- [chi]Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design / J. Jenny Li and J. Robert Horgan.".
catalog tableOfContents "Mobius: An Extensible Tool for Performance and Dependability Modeling / David Daly, Daniel D. Deavours and Jay M. Doyle / [et al.] -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models / Sandor Racz, Bela P. Toth and Miklos Telek -- Calculation and Use of Peaking Factors for Remote Terminal Emulation / William A. Ward, Jr. and David D. Langan -- Reliability and Performability Modeling Using SHARPE 2000 / C. Hirel, R. Sahner and X. Zang / [et al.] -- The Simalytic Modeling Technique: Overview for Application Performance Analysis / Tim R. Norton -- SPNP: Stochastic Petri Nets. Version 6.0 / Christophe Hirel, Bruno Tuffin and Kishor S. Trivedi -- SREPT: Software Reliability Estimation and Prediction Tool / Srinivasan Ramani and Kishor S. Trivedi -- STEADY -- A Tool for Predicting Performance of Parallel DBMSs / Euan W. Dempster, M. Howard Williams and Neven T. Tomov / [et al.] -- The TANGRAM-II Environment / Edmundo de Souza e Silva and Rosa M. M. Leao -- ".
catalog tableOfContents "Performance Evaluation of a Distributed Enterprise Data Mining System / Peter G. Harrison and Catalina M. Llado -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network / Claus Bauer -- Optimal Allocation Policies for Mobile Agents / M. D. Hamilton and I. Mitrani -- Iterative Analysis of Markov Regenerative Models / Reinhard German -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets / Andras Horvath, Antonio Pulifito and Marco Scarpa / [et al.] -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 / Armin Zimmermann, Jorn Freiheit and Reinhard German / [et al.] -- Integrating Synchronization with Priority into a Kronecker Representation / Susanna Donatelli and Peter Kemper -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package / Bruno Tuffin and Kishor S. Trivedi -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks / Jose Incera, Raymond Marie and David Ros / [et al.] -- ".
catalog tableOfContents "Performance Evaluation with Heavy Tailed Distributions / Mark E. Crovella -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router / Peter Maly and C. Murray Woodside -- Object Allocation for Distributed Applications with Complex Workloads / Marin Litoiu and Jerome Rolia -- A Set of Tools for Traffic Modeling, Analysis and Experimentation / Rosa M. M. Leao, Edmundo de Souza e Silva and Sidney C. de Lucena -- Queueing Analysis of Pools in Soft Real-Time Systems / Carlos Juiz and Ramon Puigjaner -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks / Paolo Cremonesi, Emilia Rosti and Giuseppe Serazzi -- Decomposition of General Tandem Queueing Networks with MMPP Input / Armin Heindl -- Exact and Approximate Solutions for a Class of Infinite Markovian Models / Michela Meo, Edmundo de Souza e Silva and Marco Ajmone Marsan -- ".
catalog title "Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)".
catalog type "Chicago-Schaumburg (Ill., 2000) swd".
catalog type "text".