000 | 04279nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-540-46029-9 | ||
003 | DE-He213 | ||
005 | 20240423132503.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2002 gw | s |||| 0|eng d | ||
020 |
_a9783540460299 _9978-3-540-46029-9 |
||
024 | 7 |
_a10.1007/3-540-46029-2 _2doi |
|
050 | 4 | _aTK7885-7895 | |
050 | 4 | _aTK5105.5-5105.9 | |
072 | 7 |
_aUK _2bicssc |
|
072 | 7 |
_aCOM067000 _2bisacsh |
|
072 | 7 |
_aUK _2thema |
|
082 | 0 | 4 |
_a621.39 _223 |
082 | 0 | 4 |
_a004.6 _223 |
245 | 1 | 0 |
_aComputer Performance Evaluation: Modelling Techniques and Tools _h[electronic resource] : _bModelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings / _cedited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder. |
250 | _a1st ed. 2002. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2002. |
|
300 |
_aXII, 356 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2324 |
|
505 | 0 | _aHeavy Tails: The Effect of the Service Discipline -- The Möbius State-Level Abstract Functional Interface -- The ProC/BToolset for the Modelling and Analysis of Process Chains -- MRMSolve: Distribution Estimation of Large Markov Reward Models -- PhFit: A General Phase-Type Fitting Tool -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process -- PEPA Nets: A Structured Performance Modelling Formalism -- Validation of GSPN and SWN Models through the PROD Tool -- Software Performance Models from System Scenarios in Use Case Maps -- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications -- A Passage-Time Preserving Equivalence for Semi-Markov Processes -- Symbolic Methods for the State Space Exploration of GSPN Models -- PRISM: Probabilistic Symbolic Model Checker -- MAMSolver: A Matrix Analytic Methods Tool -- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel -- Geist: A Web Traffic Generation Tool -- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems -- A Visual Formalism for the Composition of Stochastic Petri Nets -- Symbolic Performance Prediction of Data-Dependent Parallel Programs -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool -- Hierarchical Workload Characterization for a Busy Web Server -- Enabling Network Caching of Dynamic Web Objects -- A Tool for Controlling Response Time in Real-Time Systems. | |
650 | 0 | _aComputer engineering. | |
650 | 0 | _aComputer networks . | |
650 | 0 | _aComputer science. | |
650 | 0 |
_aElectronic digital computers _xEvaluation. |
|
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer simulation. | |
650 | 1 | 4 | _aComputer Engineering and Networks. |
650 | 2 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aSystem Performance and Evaluation. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aComputer Modelling. |
700 | 1 |
_aField, Tony. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aHarrison, Peter G. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBradley, Jeremy. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aHarder, Uli. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540435396 |
776 | 0 | 8 |
_iPrinted edition: _z9783662164730 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v2324 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-46029-2 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c188287 _d188287 |