7 search results - page 1 / 2 » Fast solvers for queueing systems with negative customers |
VALUETOOLS
2006
ACM
13 years 10 months ago
2006
ACM
In this paper, we are interested in solving Markovian queueing systems having Poisson batch arrivals, exponential servers and negative customers. Preconditioned conjugate gradient...
DAGSTUHL
2000
13 years 5 months ago
2000
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
LPAR
2005
Springer
13 years 9 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
NCA
2005
IEEE
13 years 10 months ago
2005
IEEE
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...
SIGMETRICS
2010
ACM
13 years 2 months ago
2010
ACM
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...