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

1.

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ó:
Rekordok letöltése1