Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
CCL parancs
CCL
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
1.
001-es BibID:
BIBFORM005430
Első szerző:
Bérczes Tamás (informatikus)
Cím:
Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM [elektronikus dokumentum] / Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik
Dátum:
2008
Megjegyzések:
Leírás a nyitóképernyőről, 2009.05.05.
We report our experience with formulating and analyzing in the probabilistic model checker PRISM various closely related web server performance models that were previously described in literature in terms of classical queuing theory. By our work various ambiguities and deficiencies (also errors) are revealed; in particular, the PRISM models which combine state machines descriptions with performance characteristics show that the original descriptions used slightly differed assumptions for their analysis. Furthermore, while the queuing models are typically based on infinite queues, the state spaces of the PRISM models have to be finite for an automated analysis. While this forces us to explicitly deal with buffer overflows, it also gives us the possibility to investigate appropriate buffer sizes for concrete implementations of the models. Although also one of the previously reported models used a finite queue in some place, our investigations reveal that the size of that queue is actually not critical, while another (previously not constrained) one is. Based on these observations, we argue that nowadays performance modeling should make use of (at least be accompanied by) state machine descriptions such as those used by PRISM. On the one hand, this helps to more accurately describe the systems whose performance are to be modeled (by making hidden assumptions explicit) and give more useful information for the concrete implementation of these models (appropriate buffer sizes). On the other hand, since probabilistic model checkers such as PRISM are furthermore able to analyze such models automatically, analytical models can be validated by corresponding experiments which helps to increase the trust into the adequacy of these models and their real-world interpretation.
Tárgyszavak:
Természettudományok
Matematika- és számítástudományok
idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:
Research Institute for Symbolic Computation Report Series : [elektronikus dokumentum]. - 17 (2008), p. 14. -
További szerzők:
Guta Gábor (1980-) (informatikus)
Kusper Gábor (1976-) (informatikus)
Schreiner, Wolfgang
Sztrik János (1953-) (informatikus, matematikus)
Internet cím:
elektronikus változat
elektronikus változat
Borító:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.