CCL

Összesen 5 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:BIBFORM010749
Első szerző:Bérczes Tamás (informatikus)
Cím:Approximation approach to performance evaluation of Proxy Cache Server systems / Tamás Bérczes
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
queueing network
proxy cache server
performance models
GI/G/1 queue
Megjelenés:Annales Mathematicae et Informaticae. - 36 (2009), p. 15-28. -
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM094556
035-os BibID:(WoS)000654007400013 (Scopus)85107442396
Első szerző:Kuki Attila (informatikus, matematikus)
Cím:A contribution to scheduling jobs submitted by finite-sources in computational clusters / Kuki Attila, Bérczes Tamás, Tóth Ádám, Sztrik János
Dátum:2021
ISSN:1787-5021 1787-6117
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
Megjelenés:Annales Mathematicae et Informaticae. - 53 (2021), p. 201-218. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Tóth Ádám (1990-) (mérnökinformatikus) Sztrik János (1953-) (informatikus, matematikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM087240
035-os BibID:(WoS)000553268600005 (Scopus)85088517388
Első szerző:Kuki Attila (informatikus, matematikus)
Cím:Numerical analysis of finite source Markov retrial system with non-reliable server, collision, and impatient customers / Attila Kuki, Tamás Bérczes, Ádám Tóth, János Sztrik
Dátum:2020
ISSN:1787-5021 1787-6117
Megjegyzések:A retrial queuing system with a single server is investigated in this paper. The server is subject to random breakdowns. The number of customers is finite and collision may take place. A collision occurs when a customer arrives to the busy server. In case of a collision both customers involved in the collision are sent back to the orbit. From the orbit the customers retry their requests after a random waiting time. The server can be down due to a failure. During the failed period the arriving customers are sent to the orbit, as well. The novelty of this analysis is the impatient behaviour of the customers. A customer waiting in the orbit may leave it after a random waiting time. The requests of these customers will not be served. All the random variables included in the model construction are assumed to be exponentially distributed and independent from each other. The impatient property makes the model more complex, so the derivation of a direct algorithmic solution (which was provided for the non-impatient case) is difficult. For numerical calculations the MOSEL-2 tool can be used. This tool solves the Kolmogorov system equations, and from the resulting steady-state probabilities various system characteristics and performance measures can be calculated, i.e. mean response time, mean waiting time in the orbit, utilization of the server, probability of the unserved impatient requests. Principally the effect of the impatient property is investigated in these results, which are presented graphically, as well.
Tárgyszavak:Műszaki tudományok Informatikai tudományok konferenciacikk
folyóiratcikk
Megjelenés:Annales Mathematicae et Informaticae. - 51 (2020), p. 53-63. -
További szerzők:Bérczes Tamás (1975-) (informatikus) Tóth Ádám (1990-) (mérnökinformatikus) Sztrik János (1953-) (informatikus, matematikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

5.

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ó:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.