Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Performance Engineering
  • Produktbild: Computer Performance Engineering
Band 8168

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.2013

Abbildungen

XII, 351 p. 114 illus.

Herausgeber

Maria Simonetta Balsamo + weitere

Verlag

Springer Berlin

Seitenzahl

351

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40724-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.2013

Abbildungen

XII, 351 p. 114 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

351

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

552 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40724-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computer Performance Engineering
  • Produktbild: Computer Performance Engineering

  • Performance Antipatterns: State-of-Art and Future Perspectives.- Online 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.