| |
|
| Artikel-Nr.: 5667A-9783540435396 Herst.-Nr.: 9783540435396 EAN/GTIN: 9783540435396 |
| |
|
| | |
| Heavy 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. Weitere Informationen: | | Author: | Tony Field; Peter G. Harrison; Jeremy Bradley; Uli Harder | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Hardwarebücher - englischsprachig, datenbanken (fachbücher), Communication Systems Performance, Computer Network Performance, Computer Performance, Hardware Performance, Modeling, Performance, Performance Engineering, Performance Evaluation Tools, Processing, Simulation, Software Performance |
| | |
| |