CCL

Összesen 10 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ó:

7.

001-es BibID:BIBFORM081503
Első szerző:Schreiner, Wolfgang
Cím:On the Probabilistic Model Checking of a Retrial Queueing System with Unreliable Server, Collision, and Constant Time Impatience / Wolfgang Schreiner, János Sztrik
Dátum:2019
Megjelenés:Linz : Johannes Kepler University, 2019
Terjedelem:21 p.
Megjegyzések:(RISC-Linz Report Series ; 19-11)
We report on initial experiments with the automated analysis of a finite-source queueing system with an unreliable server and collisions of service requests that cause clients to be moved to an orbit until they can be served. However, clients remain in the obit only for some maximum amount of time before they run out of patience and unsuccessfully abort their service request. In contrast to earlier investigations, the duration of their patience is not exponentially distributed but constrained by a constant time bound, which imposes a problem for both their manual and automatic analysis. In this paper we address how such systems can be nevertheless approximately analyzed to a certain extent with the help of the probabilistic model checker PRISM.
Tárgyszavak:Műszaki tudományok Informatikai tudományok kutatási jelentés
könyv
További szerzők:Sztrik János (1953-) (informatikus, matematikus) RISC-Linz Report Series
Pályázati támogatás:2017-2.2.4-TeT-AT-2017-00010
egyéb
Aktion Österreich-Ungarn project 101öu7
egyéb
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

8.

001-es BibID:BIBFORM081502
Első szerző:Schreiner, Wolfgang
Cím:Applying Statistical Model Checking to the Analysis of a Retrial Queueing System with Constant Time Impatience / Wolfgang Schreiner, János Sztrik
Dátum:2019
Megjelenés:Linz : Johannes Kepler University, 2019
Terjedelem:11 p.
Megjegyzések:(RISC-Linz Report Series ; 19-12)
We report on experiments with the automated analysis of a finite-source queueing systemwith an unreliable server where clients abort unserved requests after some maximum (con-stant) amount of time. In earlier work, we created a CTMC model of this system where theconstant time bound was approximated by an Erlang distribution and analyzed this modelwith the probabilistic model checker PRISM. However, due to state space explosion onlyinstances of the system with a very small number of clients could be analyzed. In this paper,we extend the results to larger systems by applying the statistical model checking capabilitiesof PRISM where results are approximated by sampling a large number of simulation runs.In particular, we address the change from the analysis of the steady state behavior of thesystem to the analysis of finite runs of the system and the trade-off between the accuracy ofthe results and the computational efforts needed to derive them.
Tárgyszavak:Műszaki tudományok Informatikai tudományok kutatási jelentés
könyv
További szerzők:Sztrik János (1953-) (informatikus, matematikus) RISC-Linz Report Series
Pályázati támogatás:2017-2.2.4-TeT-AT-2017-00010
egyéb
Aktion sterr eich-Ungarn project 101u7
egyéb
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM056796
Első szerző:Schreiner, Wolfgang
Cím:Probabilistic model checking on HPC systems for the performance analysis of mobile networks / Wolfgang Schreiner, Tamás Bérczes, János Sztrik
Dátum:2014
ISSN:1787-5021 1787-6117
Megjegyzések:We report on the use of HPC resources for the performance analysis of the mobile cellular network model described in "A New Finite-Source Queueing Model for Mobile Cellular Networks Applying Spectrum Renting" by Tien Van Do et al. That paper proposed a new finite-source retrial queueing model with spectrum renting that was analyzed with the MOSEL-2 tool. Our results show how this model can be also appropriately described and analyzed with the probabilistic model checker PRISM, although at some cost consideringthe formulation of the model; in particular, we are able to accurately reproduce most of the analytical results presented in that paper and thus increase the confidence in the previously presented results. However, we alsooutline some discrepancies which may hint to deficiencies of the original analysis.Moreover, by applying a parallel computing framework developed for this purpose, we are able to considerably speed up studies performed with the PRISM tool. The investigations are illustrated by figures and conclusionsare drawn.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
performance evaluation tools
Hálózatok modellezése és analízise
Megjelenés:Annales Mathematicae et Informaticae. - 43 (2014), p. 123-144. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Sztrik János (1953-) (informatikus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Hálózatok modellezése és hatékonyságvizsgálatai
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

10.

001-es BibID:BIBFORM084211
035-os BibID:(Scopus)85082570473
Első szerző:Tóth Ádám (mérnökinformatikus)
Cím:The Simulation of Finite-Source Retrial Queueing Systems with Collisions and Blocking / Á. Tóth, T. Bérczes, J. Sztrik, A. Kuki, W. Schreiner
Dátum:2020
ISSN:1072-3374 1573-8795
Megjegyzések:This paper investigates, using a simulation program, a retrial queuing system with a single server which is subject to random breakdowns. The number of sources of calls is finite, and collisions can take place. We assume that the failure of the server blocks the system's operation such that newly arriving customers cannot enter the system, contrary to an earlier paper where the failure does not affect the arrivals. All the random variables included in the model construction are assumed to be independent of each other, and all times are exponentially distributed except for the service time, which is gamma distributed. The novelty of this analysis is the inspection of the blocking effect on the performance measures using different distributions. Various figures represent the impact of the squared coefficient of the variation of the service time on the main performance measures such as the mean and variance of the number of customers in the system, the mean and variance of the response time, the mean and variance of the time a customer spends in the service, and the mean and variance of the sojourn time in the orbit.
Tárgyszavak:Műszaki tudományok Informatikai tudományok konferenciacikk
folyóiratcikk
Megjelenés:Journal of Mathematical Sciences. - 246 : 4 (2020), p. 548-559. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Sztrik János (1953-) (informatikus, matematikus) Kuki Attila (1964-) (informatikus, matematikus) Schreiner, Wolfgang
Pályázati támogatás:2017-2.2.4-TeT-AT-2017-00010
egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.