Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Wolter, Katinka (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4748
Temas:
Computer science.
Software engineering.
Electronic digital computers-Evaluation.
Computer networks .
Theory of Computation.
Software Engineering.
System Performance and Evaluation.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Keynote
  • Optimization Problems in Service Provisioning Systems
  • Markov Chains
  • Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution
  • Compositionality for Markov Reward Chains with Fast Transitions
  • Closed Form Absorption Time Bounds
  • A Canonical Representation of Order 3 Phase Type Distributions
  • Process Algebras and State Machines
  • SPAMR: Extending PAMR with Stochastic Time
  • Faster SPDL Model Checking Through Property-Driven State Space Generation
  • Testing Finite State Machines Presenting Stochastic Time and Timeouts
  • Grid and Peer-to-Peer Systems
  • Evaluation of P2P Search Algorithms for Discovering Trust Paths
  • Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study
  • Performance Measuring Framework for Grid Market Middleware
  • Queueing Theory and Applications of Queueing
  • A Fixed-Point Algorithm for Closed Queueing Networks
  • A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis
  • Optimal Dynamic Server Allocation in Systems with On/Off Sources
  • Towards an Automatic Modeling Tool for Observed System Behavior
  • Benchmarking and Bounding
  • Censoring Markov Chains and Stochastic Bounds
  • Workload Characterization of the SPECjms2007 Benchmark
  • Resource Sharing in Performance Models
  • Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency
  • Wireless Networks
  • An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks
  • The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System.

Ejemplares similares