서브메뉴
검색
Computer Performance Evaluation : Modelling Techniques and Tools
Computer Performance Evaluation : Modelling Techniques and Tools
상세정보
- 자료유형
- 단행본
- ISBN
- 3-540-67260-5
- UDC
- 681.3
- DDC
- 004-23
- 청구기호
- 004 U86c
- 서명/저자
- Computer Performance Evaluation : Modelling Techniques and Tools / Boudewijn R.Haverkort, Henrik C.Bohnenkamp, Connie U.Smith 편.
- 발행사항
- 미국 : Springer-Verlag, 2000
- 형태사항
- 381p. ; 24cm
- 총서명
- Lecture Notes in Computer Science ; 1786
- 내용주기
- 완전내용Invited Paper완전내용Performance Evaluation with Heavy Tailed Distributions불완전내용Bark E. Crovella부분내용1완전내용Queueing Network Models완전내용Layered Modeling of Hardware and Software, with Application to a LAN ExtensionRouter불완전내용Peter Maly, C. Murray Woodside부분내용10완전내용Object Allocation for Distributed Applications with Complex Wordloads불완전내용Marin Litoiu, Jerome Rolia부분내용25완전내용A Set of Tools for Traffic Modeling, Analysis and Experimentation불완전내용Rosa M.M. Leao, Edmundo de Souza e Silva, Sidney C. de Lucena부분내용40완전내용Queueing Analysis of Pools in Soft Real-Time Systems불완전내용Carlos Juiz, Ramon Puigjaner부분내용56완전내용Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks불완전내용Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi부분내용71완전내용Decomposition of General Tandem Queueing Networks with MMPP Input불완전내용Armin Heindl부분내용86완전내용Exact and Approbimate Solutions for a Class of Infinite Markovian Models불완전내용Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan부분내용10100완전내용Perfor mance Evaluation of a Distributed Enterprise Data Mining System불완전내용PeterG. Harrison, Catalina M. Llado부분내용11711완전내용Optimisation in Mobile Networks22완전내용Minimization of the Impact of Subscriber Mobility on the Resources of a HSM Network불완전내용Claus Bauer부분내용13233완전내용Optimal Allocation Policies for Mobile Agents불완전내용M.D.Hamilton, I. Mitrani부분내용14544완전내용Stochastic Petri Nets55완전내용Iterative Analysis of Markov Regenerative Models불완전내용Reinhard German부분내용15666완전내용Analysis and Evaluation of Non-Markovian Stochastic Petri Nets불완전내용Andras Horvath, Antonio Puliafito, Morco Scarpa, Miklos Telek부분내용17177완전내용Petri Net Modelling and Performability Evaluation with TimeNET3.0불완전내용Armin Zimmermann, Jorn Freiheit, Reinhard German, Giinter Hommel부분내용18888완전내용Integrating Synchronization with Priority into a Kronecker Representation불완전내용Susanna Aonatelli, Peter Kemper부분내용20399완전내용Simulation00완전내용Implementation of Importance Splitting Techniques in Stochastic Petri Net Package불완전내용Bruno Tuffin, Kishor S. Trivedi부분내용21611완전내용Fluidsim: A Tool to Simulate Fluid Models of High-Speed Networks불완전내용Jose Incera,Raymond Marie, Darid Ros, Gerardo Rubino부분내용20322완전내용Simulation33완전내용Inplementation of Importance Splitting Techniques in Stochastic Petri Net Package불완전내용Bruno Tuffin, Kishor S. Trivedi부분내용21644완전내용FluidSim: A Tool to Simulate Fluid Models of High-Speed Netwoks불완전내용Jose Incera,Raymond Marie, David Ros, Gerardo Rubino부분내용23055완전내용Formal Methods and Performance Evaluation66완전내용Explotiing Modal Logic to Express Performance Measures불완전내용Graham Clark, StephenGilmore, Jane Hillston, Marina Ribaudo부분내용24777완전내용Derivation of Petri Net Performance Models form UML Specifications of Communications Software불완전내용Peter King, Rob Pooley부분내용26288완전내용Measurement Tools and Applications99완전내용Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications불완전내용Peter H. Hughes, Gunnar Brataas부분내용27700완전내용Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters witha SMiLE불완전내용Wolfgang Karl, Martinin Schulz, Jorg Trinitis부분내용29411완전내용Design and Inplementation of a Tool for Measuring the Performance of Complex E-commerce Sites불완전내용Goedson T. Paiao, Wagner Meira Jr. 외부분내용30922완전내용Tool Descriptions33완전내용FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations불완전내용Ramin Sadre, Boudewijn R. Haverkort부분내용32444완전내용Galileo: A Tool for Dynamic Fault Tree Analysis불완전내용Joanne Bechta Dugan부분내용32855완전내용Mobius: An Extensible Tool for Performance and Dependability Modeling불완전내용David Daly, Daniel D. 외부분내용33266완전내용MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models불완전내용SandorRacz, Bela P. Toth, Miklos Telek부분내용33777완전내용Calculation and Use of Peaking Factors for Remote Terminal Emulation불완전내용WilliamA. Ward, Jr., Dauid D. Langan부분내용34188완전내용Reliability and Performability Modeling Using SHARPE2000불완전내용C. Hirel, R. Sahner,X. Zang, K. Trivedi부분내용34599완전내용The Simalytic Modeling Technique: Wverview for Application Performance Analysis불완전내용Tim R. Norton부분내용35000완전내용SPNP: Stochastic Petri Nets. Version 6.0불완전내용Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi부분내용35411완전내용SREPT: Software Reliability Estimation and Prediction Tool불완전내용Srinivasan Ramani,Kishor S. Trivedi부분내용35822완전내용STEADY - A Tool for Predicting Performance of Parallel DBMSs불완전내용Euan W. Dempster, M외부분내용36233완전내용The TANGRAM-ll Environment불완전내용Edmundo de Souza e Silva, Rosa M.M. Leao부분내용36644완전내용Implementing Symbolic Models for Value Passing in TwoTowers불완전내용Marco Bernardo부분내용37055완전내용Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway불완전내용Adrian E. Conway부분내용37466완전내용Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design불완전내용J.Jenny Li, J. Robert Horgan부분내용37877
- 가격
- ￦52540
- Control Number
- gtec:8289
MARC
008021021s2000 us 000 eng■020 ▼a3-540-67260-5
■0801 ▼a681.3
■082 ▼a004▼223
■090 ▼a004▼bU86c
■1000 ▼aU.Smith, Boudewijn R.Haverkort, Henrik C.Bohnenkamp, Connie
■24510▼aComputer Performance Evaluation▼bModelling Techniques and Tools▼dBoudewijn R.Haverkort, Henrik C.Bohnenkamp, Connie U.Smith 편.
■260 ▼a미국▼bSpringer-Verlag▼c2000
■300 ▼a381p.▼c24cm
■44000▼aLecture Notes in Computer Science▼v1786
■505 ▼aInvited Paper▼aPerformance Evaluation with Heavy Tailed Distributions▼bBark E. Crovella▼c1▼aQueueing Network Models▼aLayered Modeling of Hardware and Software, with Application to a LAN ExtensionRouter▼bPeter Maly, C. Murray Woodside▼c10▼aObject Allocation for Distributed Applications with Complex Wordloads▼bMarin Litoiu, Jerome Rolia▼c25▼aA Set of Tools for Traffic Modeling, Analysis and Experimentation▼bRosa M.M. Leao, Edmundo de Souza e Silva, Sidney C. de Lucena▼c40▼aQueueing Analysis of Pools in Soft Real-Time Systems▼bCarlos Juiz, Ramon Puigjaner▼c56▼aXaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks▼bPaolo Cremonesi, Emilia Rosti, Giuseppe Serazzi▼c71▼aDecomposition of General Tandem Queueing Networks with MMPP Input▼bArmin Heindl▼c86▼aExact and Approbimate Solutions for a Class of Infinite Markovian Models▼bMichela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan▼c10100▼aPerfor mance Evaluation of a Distributed Enterprise Data Mining System▼bPeterG. Harrison, Catalina M. Llado▼c11711▼aOptimisation in Mobile Networks22▼aMinimization of the Impact of Subscriber Mobility on the Resources of a HSM Network▼bClaus Bauer▼c13233▼aOptimal Allocation Policies for Mobile Agents▼bM.D.Hamilton, I. Mitrani▼c14544▼aStochastic Petri Nets55▼aIterative Analysis of Markov Regenerative Models▼bReinhard German▼c15666▼aAnalysis and Evaluation of Non-Markovian Stochastic Petri Nets▼bAndras Horvath, Antonio Puliafito, Morco Scarpa, Miklos Telek▼c17177▼aPetri Net Modelling and Performability Evaluation with TimeNET3.0▼bArmin Zimmermann, Jorn Freiheit, Reinhard German, Giinter Hommel▼c18888▼aIntegrating Synchronization with Priority into a Kronecker Representation▼bSusanna Aonatelli, Peter Kemper▼c20399▼aSimulation00▼aImplementation of Importance Splitting Techniques in Stochastic Petri Net Package▼bBruno Tuffin, Kishor S. Trivedi▼c21611▼aFluidsim: A Tool to Simulate Fluid Models of High-Speed Networks▼bJose Incera,Raymond Marie, Darid Ros, Gerardo Rubino▼c20322▼aSimulation33▼aInplementation of Importance Splitting Techniques in Stochastic Petri Net Package▼bBruno Tuffin, Kishor S. Trivedi▼c21644▼aFluidSim: A Tool to Simulate Fluid Models of High-Speed Netwoks▼bJose Incera,Raymond Marie, David Ros, Gerardo Rubino▼c23055▼aFormal Methods and Performance Evaluation66▼aExplotiing Modal Logic to Express Performance Measures▼bGraham Clark, StephenGilmore, Jane Hillston, Marina Ribaudo▼c24777▼aDerivation of Petri Net Performance Models form UML Specifications of Communications Software▼bPeter King, Rob Pooley▼c26288▼aMeasurement Tools and Applications99▼aScalability of a Workstation Cluster Architecture for Video-on-Demand Applications▼bPeter H. Hughes, Gunnar Brataas▼c27700▼aMultilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters witha SMiLE▼bWolfgang Karl, Martinin Schulz, Jorg Trinitis▼c29411▼aDesign and Inplementation of a Tool for Measuring the Performance of Complex E-commerce Sites▼bGoedson T. Paiao, Wagner Meira Jr. 외▼c30922▼aTool Descriptions33▼aFiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations▼bRamin Sadre, Boudewijn R. Haverkort▼c32444▼aGalileo: A Tool for Dynamic Fault Tree Analysis▼bJoanne Bechta Dugan▼c32855▼aMobius: An Extensible Tool for Performance and Dependability Modeling▼bDavid Daly, Daniel D. 외▼c33266▼aMRMSolve: A Tool for Transient Analysis of Large Markov Reward Models▼bSandorRacz, Bela P. Toth, Miklos Telek▼c33777▼aCalculation and Use of Peaking Factors for Remote Terminal Emulation▼bWilliamA. Ward, Jr., Dauid D. Langan▼c34188▼aReliability and Performability Modeling Using SHARPE2000▼bC. Hirel, R. Sahner,X. Zang, K. Trivedi▼c34599▼aThe Simalytic Modeling Technique: Wverview for Application Performance Analysis▼bTim R. Norton▼c35000▼aSPNP: Stochastic Petri Nets. Version 6.0▼bChristophe Hirel, Bruno Tuffin, Kishor S. Trivedi▼c35411▼aSREPT: Software Reliability Estimation and Prediction Tool▼bSrinivasan Ramani,Kishor S. Trivedi▼c35822▼aSTEADY - A Tool for Predicting Performance of Parallel DBMSs▼bEuan W. Dempster, M외▼c36233▼aThe TANGRAM-ll Environment▼bEdmundo de Souza e Silva, Rosa M.M. Leao▼c36644▼aImplementing Symbolic Models for Value Passing in TwoTowers▼bMarco Bernardo▼c37055▼aMonitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway▼bAdrian E. Conway▼c37466▼aProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design▼bJ.Jenny Li, J. Robert Horgan▼c37877
■9500 ▼b￦52540
