TY -
GEN
AU - Balsamo, Maria Simonetta
AU - Knottenbelt, William J.
AU - Marin, Andrea
TI -
Computer Performance Engineering
10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
PB - Springer
SN - 9783642407253
KW - Computer science
KW - Computer Communication Networks
KW - Computer system performance
KW - Engineering economy
KW - Computer Science
KW - Software engineering
KW - Computer simulation
KW - Computer networks .
KW - Electronic digital computers
KW - Energy policy.
KW - Energy and state.
KW - Konferenzschrift 2013 Venedig
KW - Konferenzschrift
KW - Leistungsbewertung
PY - 2013
N2 - Literaturangaben
N2 - Performance Antipatterns: State-of-Art and Future PerspectivesOnline Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems.
BT - Lecture Notes in Computer Science ; 8168
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1652995374&tx_find_find%5Btype%5D=ris
ER -