Sciweavers

341 search results - page 11 / 69
» queue 2006
Sort
View
AMAST
2006
Springer
15 years 1 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
15 years 3 months ago
Fairness considerations of scheduling in multi-server and multi-queue systems
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
QUESTA
1998
54views more  QUESTA 1998»
14 years 9 months ago
Optimal control of tandem reentrant queues
We consider optimal policies for reentrant queues in which customers may be served several times at the same station. We show that for tandem reentrant queues the lastbuffer-fir...
Ger Koole, Rhonda Righter
QUESTA
2006
204views more  QUESTA 2006»
14 years 9 months ago
Exact emulation of a priority queue with a switch and delay lines
Abstract All-optical packet switched networking is hampered by the problem of realizing viable queues for optical packets. Packets can be buffered in delay lines, but delay linesdo...
Anand D. Sarwate, Venkat Anantharam
QUESTA
2006
80views more  QUESTA 2006»
14 years 9 months ago
Sojourn time distributions in the queue defined by a general QBD process
We consider a general QBD process as defining a FIFO queue and obtain the stationary distribution of the sojourn time of a customer in that queue as a matrix exponential distribut...
Toshihisa Ozawa