default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. 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
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.
last updated on 2024-11-08 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
