Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings /

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This year...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Aldini, Alessandro (Editor ), Bernardo, Marco (Editor ), Bononi, Luciano (Editor ), Cortellessa, Vittorio (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6342
Temas:
Software engineering.
Computer networks .
Computer science.
Application software.
Computer programming.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Papers
  • Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems
  • Application of Advanced Model-Driven Techniques in Performance Engineering
  • Network and Software Performance
  • A New Markov-Based Mobility Prediction Algorithm for Mobile Networks
  • Performance Aware Reconfiguration of Software Systems
  • On the Energy-Performance Tradeoff for Parallel Applications
  • Timed Models and Model Checking
  • A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
  • Continuous Time and/or Continuous Distributions
  • Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report
  • Case Studies
  • A Markovian Agent Model for Fire Propagation in Outdoor Environments
  • Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs
  • Performance Modeling and Analysis of the Universal Control Hub
  • Model Solutions and Bounds
  • Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing
  • A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces
  • State-Dependent Rates and Semi-Product-Form via the Reversed Process
  • Compositional Analysis
  • Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems
  • A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
  • Compositional Abstraction of PEPA Models for Transient Analysis
  • Composing Systems While Preserving Probabilities.

Ejemplares similares