Verification of the Stability of a Two-Server Queueing System With Static Priority.
Evsey MorozovMaria MaltsevaBart SteyaertPublished in: FRUCT (2018)
Keyphrases
- priority scheduling
- single server
- priority queue
- multiclass queueing networks
- queueing model
- queueing networks
- steady state
- scheduling policies
- client server
- queueing systems
- markov chain
- queue length
- arrival rate
- stability analysis
- queueing theory
- neural network
- signature verification
- state dependent
- queuing model
- heavy traffic
- distributed systems
- model checking
- data sets
- real time
- flow control
- formal verification
- service times
- data structure
- long run