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:BIBFORM071876
Első szerző:Novac, Ovidiu
Cím:Modeling RF-based sensor networks by using dual-source retrial queueing systems / Ovidiu Constantin Novac, Tamás Bérczes, Attila Kuki, Ádám Tóth, Wolfgang Schreiner
Dátum:2017
Megjegyzések:Here, we would like to study the efficiency andutilization of radio frequency (RF) transmission in wireless sensornetworks. A new dual source queueing model (with finite andinfinite numbers of sensors) is introduced in order to obtainthe most frequently studied system performance characteristics(e.g. mean response time, average number of jobs waiting fortransmission, and the utilization of the RF unit). The differenttypes of sensors form the "sources" and the RF unit formsthe "central servicing node" of this model. The elements of thesensor fields are classified according to their working purposes:The first class is the "Emergency" or "Special" class which isresponsible to notify special rare events (e.g. fire alarms). Theother class is the "Standard" class where sensors measure datafrom standard conventional events or occurrences (eg. motiondetection, wind speed, level of darkness etc). For energy efficiencyreasons the Central Unit (or Radio Frequency Unit - RFU)might switch into a reduced functioning mode. This reducedcommunication mode is for saving energy. The transmissionsare closed in this mode. Returning from the reduced mode twocases are considered and two models are created to comparetheir steady-state system performance characteristics: In the firstmodel, the RF transmission is available randomly to the sensornodes ("Non-Controlled" case). In the other case, the CentralUnit jobs which come from the Special class, can use the wirelessservice immediately ("Controlled" case).
ISBN:978-1-5090-6073-3
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
könyvrészlet
wireless sensors
performance evaluation
retrial queueing
stochastic simulation
Megjelenés:2017 14th International Conference on Engineering of Modern Electric Systems (EMES), Oradea, Romania, June 01-02, 2017. - p. 149-153. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Kuki Attila (1964-) (informatikus, matematikus) Tóth Ádám (1990-) (mérnökinformatikus) Schreiner, Wolfgang
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

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

9.

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

10.

001-es BibID:BIBFORM072398
Első szerző:Tóth Ádám (mérnökinformatikus)
Cím:Analysis of finite-source cluster networks / Ádám Tóth, Tamás Bérczes, Attila Kuki, Béla Almási, Wolfgang Schreiner, Jinting Wang, Fang Wang
Dátum:2016
ISSN:1584-286X 1843-441X
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Creative Mathematics and Informatics. - 25 : 2 (2016), p. 223-235. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Kuki Attila (1964-) (informatikus, matematikus) Almási Béla (1966-2015) (informatikus, matematikus) Schreiner, Wolfgang Wang, Jinting (1965-) (matematikus informatikus) Wang, Fang (1990-) (matematikus informatikus)
Pályázati támogatás:TéT 12 CN-1-2012-0009
Egyéb
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.