CCL

Összesen 6 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM012764
Első szerző:Bérczes Tamás (informatikus)
Cím:Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:2010
ISSN:1787-5021 1787-6117
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Mathematicae et Informaticae. - 2010 : 37 (2010), p. 51-75. -
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:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

2.

001-es BibID:BIBFORM010951
Első szerző:Bérczes Tamás (informatikus)
Cím:Performance Analyzes of a Proxy Cache Server Model with External Users using the Probabilistic Model Checker PRISM / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, Sztrik János
Dátum:2009
Megjegyzések:We report our experience with formulating and analyzing in the probabilistic model checker PRISM a web server performance model with proxy cache server and external users that was previously described in the literature in terms of classical queuing theory.
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
Megjelenés:International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum] / Honorary Conference Chairs: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő. - p. [1]
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:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM010953
Első szerző:Bérczes Tamás (informatikus)
Cím:Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, Sztrik János
Dátum:2009
Megjegyzések:We describe the results of analyzing the performance model of a retrial queueing system with the probabilistic model checker PRISM.
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
Megjelenés:International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum] / Honorary Conference Chairs: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő. - p.
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:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM009603
Első szerző:Bérczes Tamás (informatikus)
Cím:Analyzing a proxy cache server performance model with the probabilistic model checker PRISM / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok tanulmány, értekezés
Megjelenés:Automated Specification and Verification of Web Systems WWV'09 : Fifth International Workshop, July 17, 2009, Castle of Hagenberg, Austria / eds. Demis Ballis, Temur Kutsia. - Hagenberg, Austria : [s.n.], 2009. - p. 37-51.
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:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

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ó:

6.

001-es BibID:BIBFORM001587
Első szerző:Bérczes Tamás (informatikus)
Cím:Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:2007
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:RISC-Linz Report. - 07-17 (2007), p. 1-40. -
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:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:
Rekordok letöltése1