![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4. EPEW 2007: Berlin, Germany
- Katinka Wolter:
Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Lecture Notes in Computer Science 4748, Springer 2007, ISBN 978-3-540-75210-3
Keynote
- Isi Mitrani:
Optimization Problems in Service Provisioning Systems. 1
Markov Chains
- Alexander Bell, Boudewijn R. Haverkort:
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. 2-17 - Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. 18-32 - Ana Busic
, Nihal Pekergin:
Closed Form Absorption Time Bounds. 33-47 - Gábor Horváth, Miklós Telek
:
A Canonical Representation of Order 3 Phase Type Distributions. 48-62
Process Algebras and State Machines
- Natalia López, Manuel Núñez
, Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time. 63-79 - Matthias Kuntz, Boudewijn R. Haverkort
:
Faster SPDL Model Checking Through Property-Driven State Space Generation. 80-96 - Mercedes G. Merayo, Manuel Núñez
, Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts. 97-111
Grid and Peer-to-Peer Systems
- Emerson Ribeiro de Mello, Aad P. A. van Moorsel, Joni da Silva Fraga:
Evaluation of P2P Search Algorithms for Discovering Trust Paths. 112-124 - Ramon Nou, Samuel Kounev, Jordi Torres:
Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study. 125-140 - Felix Freitag, Pablo Chacin, Isaac Chao, René Brunner, Leandro Navarro
, Oscar Ardaiz:
Performance Measuring Framework for Grid Market Middleware. 141-153
Queueing Theory and Applications of Queueing
- Ramin Sadre, Boudewijn R. Haverkort
, Patrick Reinelt:
A Fixed-Point Algorithm for Closed Queueing Networks. 154-170 - Vittorio Cortellessa, Laurento Frittella:
A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis. 171-185 - Joris Slegers, Isi Mitrani, Nigel Thomas:
Optimal Dynamic Server Allocation in Systems with On/Off Sources. 186-199 - Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd E. Wolfinger, Serge Fdida:
Towards an Automatic Modeling Tool for Observed System Behavior. 200-212
Benchmarking and Bounding
- Jean-Michel Fourneau, Nihal Pekergin, Sana Younès:
Censoring Markov Chains and Stochastic Bounds. 213-227 - Kai Sachs, Samuel Kounev, Jean Bacon, Alejandro P. Buchmann:
Workload Characterization of the SPECjms2007 Benchmark. 228-244 - Vlastimil Babka, Martin Decký, Petr Tuma
:
Resource Sharing in Performance Models. 245-259 - Alessandro Di Marco:
Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency. 260-274
Wireless Networks
- Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie:
An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks. 275-283 - Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort
, Robbert Haarman:
The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. 284-300
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.