Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The ?rs...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Horváth, András (Éditeur intellectuel), Telek, Miklós (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Programming and Software Engineering, 4054
Sujets:
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.
Accès en ligne:Texto Completo
Table des matières:
  • Stochastic Process Algebra
  • A Precedence PEPA Model for Performance and Reliability Analysis
  • A Function-Equivalent Components Based Simplification Technique for PEPA Models
  • Functional Performance Specification with Stochastic Probes
  • Embedding Real Time in Stochastic Process Algebras
  • Workloads and Benchmarks
  • Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
  • Working Set Characterization of Applications with an Efficient LRU Algorithm
  • Theory of Stochastic Processes
  • Model Checking for a Class of Performance Properties of Fluid Stochastic Models
  • Explicit Inverse Characterizations of Acyclic MAPs of Second Order
  • Implementation Relations for Stochastic Finite State Machines
  • On the Convergence Rate of Quasi Lumpable Markov Chains
  • Formal Dependability and Performance Evaluation
  • Applying the UML Class Diagram in the Performance Analysis
  • Dependability Evaluation of Web Service-Based Processes
  • Queues, Theory and Practice
  • Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic
  • Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering
  • The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System
  • Experimental Analysis of the Correlation of HTTP GET Invocations.

Documents similaires