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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Horváth, András (Επιμελητής έκδοσης), Telek, Miklós (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4054
• Θέματα: Computer science.; Computer communication systems.; Computer system failures.; Software engineering.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Software Engineering.; System Performance and Evaluation.; Computer Communication Networks.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.