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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wolter, Katinka (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4748
• Θέματα: 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.

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

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