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