Queueing Theory Tutor

Selected Papers

Product-Form or Separable Queueing Networks

• Jackson, J. R., "Networks of Waiting Lines", Operations Research, Vol. 5, 1957, pp. 518-521.

• Gordon, W. J., and G. F. Newell, "Closed Queueing Systems with Exponential Servers" Operations Research, Vol. 15, 1967, pp. 254-265.

• Baskett, F., K. M. Chandy, R. R. Muntz, and F. G. Palacios,
  "Open, Closed, and Mixed Networks of Queues with Different Classes of Customers", J. ACM, Vol. 22, No. 2, April 1975, pp 248-260.

• Buzen, J., "Computational Algorithms for Closed Queueing Networks with Exponential Servers" Comm. ACM, Vol 16, No. 9, Sept 1973, pp. 527-531.

• Denning, P., and J. Buzen, "The Operational Analysis of Queueing Network Models", ACM Computing Surveys, Vol. 10, No. 3, Sept. 1978, pp. 225-261.

• Lavenberg, S. S., and M. Reiser, "Stationary State Probabilities at Arrival Instants for Closed Queueing Networks with Multiple Types of Customers", J. Applied Probability, Vol. 17, No. 4, Dec. 1980, pp. 1048-1061.

• Sevcik, K. C. and I. Mitrani, "The Distribution of Queueing Network States at Input and Output Instants", J. of the ACM Vol. 28, No. 2, April 1981, pp. 358-371.

• Reiser, M. and S. S. Lavenberg, "Mean Value Analysis on Closed Multichain Queueing Networks", J. ACM, Vol. 27, No. 2, April 1980, pp. 313-322.

• Salza, M. and S. S. Lavenberg, "Approximating Response Time Distributions in Closed Queueing Network Models of Computer Performance, Proc. Performance '81, North Holland, 1981.
  

AMVA Approximations

• Priority scheduling:
  Eager, D. L., and J. N. Lipscomb, "The AMVA Priority Approximation", Performance Evaluation, No. 8, Vol. 3, June 1988, pp. 173-193.

• High Service CV that breaks the Arrival Theorem & bursty arrivals:
  Eager, D. L., D. J. Sorin, and M. K. Vernon, "AMVA Techniques for High Service Time Variability", Proc. ACM SIGMETRICS 2000 Int'l. Conf. on Measurement and Modeling of Computer Systems, Santa Clara, CA, June 2000, pp. 217-228.

• Forking of asynchronous tasks:
  Heidelberger, P., and K.S. Trivedi "Queueing Network Models for Parallel Processing with Asynchronous Tasks", IEEE Transactions on Computers, Vol. C-31, No. 11, November 1982, pp. 1099

• Parallel program fork/join synchronization:
  Heidelberger, P. and K. S. Trivedi, "Analytic Queueing Models for Programs with Internal Concurrency", IEEE Transactions on Computers, Vol. C-32, No. 1, January 1983, pp. 73-82

• Multiserver queues:
  Suri, R., S. Sahu, and M. K. Vernon, "Approximate Mean Value Analysis for Closed Queueing Networks with Multiple Server Stations", Proc. 2007 Industrial Engineering Research Conf., Nashville, May 20-24, 2007.

• Customer loss due to finite buffer & service time correlated with N:
  Tan, H., D. L. Eager, M. K. Vernon, and H. Guo, "Quality of Service Evaluations of Multicast Streaming Protocols", Proc. ACM SIGMETRICS 2002 Int'l. Conf. on Measurement and Modeling of Computer Systems (SIGMETRICS 2002), Marina del Rey, CA, June 2002.

AMVA Applications

• Adve, V. S., and M. K. Vernon, "Performance Analysis of Multiprocessor Mesh Interconnection Networks with Wormhole Routing", IEEE Trans. on Parallel and Distributed Systems, March 1994.

• Chiang, M.-C. and G. Sohi, "Evaluating Design Choices for Shared Bus Multiprocessors", IEEE Transactions on Computers, Vol. 41, No. 3, March 1992, pp. 297-317.

• Sorin, D., V. Pai, S. V. Adve, M. K. Vernon, and D. A. Wood, "Analytic Evaluation of Shared Memory Systems with ILP Processors", Proc. 25th Int'l. Symp. on Computer Architecture (ISCA '98), Barcelona, July 1998, pp. 180-191.

  Technical report with detailed equations:
  Sorin, D., M. K. Vernon, V. Pai, S. V. Adve, and D. A. Wood, "A Customized MVA Model for ILP Multiprocessors", Computer Sciences Technical Report No. 1369, University of Wisconsin-Madison, March 1998.

• Willick, D. L., and Derek L. Eager, "An Analytical Model of Multistage Interconnection Networks", Proc. 1990 ACM SIGMETRICS Conf. on Measurement & Modeling of Computer Systems, Boulder, Colorado, May 1990, pp. 192-199.

Further Customized Performance Models

• Frank, M. I., A. Agarwal, and M. K. Vernon, "LoPC: Modeling Contention in Parallel Algorithms", Proc. PPoPP '97, Las Vegas, June 1997, pp. 276-287.

• Sundaram-Stukel, D. and M. K. Vernon, "Predictive Analysis of a Wavefront Application Using LogGP", Proc. 7th ACM SIGPLAN Symp. on Principles and Practices of Parallel Programming (PPoPP '99), Atlanta, GA, May 1999, pp. 141-150.

• Mahanti, A., D. L. Eager, M. K. Vernon, and D. Sundaram-Stukel, "Scalable On-Demand Media Streaming with Packet Loss Recovery", IEEE/ACM Trans. on Networking, Vol. 11, No. 2, April 2003, pp. 195-209. (One of three papers fast tracked to ACM/IEEE ToN from Proc. ACM SIGCOMM Conf. on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM 2001), San Diego, August 2001, pp. 97-108.)

• Rai, I., G. Urvoy-Keller, M. K. Vernon, and E. Biersack, "Performance of LAS-based Scheduling Disciplines in a Packet Switched Network", Proc. ACM SIGMETRICS 2004/Performance 2004 Joint Int'l. Conf. on Measurement and Modeling of Computer Systems, New York, June 2004.

Open vs Closed Workloads

• J. Zahorjan, "Workload Representations in Queueing Models of Computer Systems", Proc. 1983 ACM Sigmetrics Conf. on Measurement and Modeling of Computer Systems, Minneapolis, 1983, pp. 70-81.

Applications of Markov Chains

• Greenberg, A. G., I. Mitrani, and L. Rudolph, "Analysis of Snooping Caches", Proc. Performance '87 12th Int'l. Symp. on Computer Performance, Dec. 1987, pp. 345-361. (AT&T Technical Memorandum)

• May, M., J.-C. Bolot, A. Jean-Marie and C. Diot, "Simple Performance Models of Differentiated Services Schemes for the Internet", Proc. IEEE INFOCOM '99 18th Ann. Joint Conf. of the IEEE Computer and Communications Societies, Vol. 3, New York, March 1999, pp. 1385-1394.