Gunter Bolch

The first book to address computer performance evaluation from the perspective of queueing theory and Markov chains. Queueing Networks and Markov Chains provides comprehensive coverage of the theory and application of computer performance evaluation based on queueing networks and Markov chains. Progressing from basic concepts to more complex topics, this book offers a clear and concise treatment of the state of the art in this important field. Essential reading for system designers and researchers as well as graduate students taking courses in computer performance analysis, this book contains: * A basic introduction to probability theory * An explanation of the characteristics of different types of Markov chains * Simple examples of all algorithms * Transient and steady-state solution algorithms * Well-known solution techniques for queueing systems and networks * A broad range of application studies-from client-server systems to ATM networks * Hundreds of illustrations, exercises, and more. As computer and communications systems become more complex, system designers are increasingly called upon to locate information bottlenecks or create optimal systems for specific needs. In a short period of time, performance modeling techniques have become an important tool for this type of work-and indispensable to anyone dealing with questions of reliability and quality in operations, communications, and manufacturing. Queueing Networks and Markov Chains is an up-to-date, application-driven guide to computer performance analysis. It is the only book currently available that combines theory and applications of computer performance evaluation with queueing networks and Markov chains, and offers an abundance of performance-evaluation algorithms, applications, and case studies. Entirely self-contained, Queueing Networks and Markov Chains introduces probability theory and clearly explains basic concepts before moving to advanced topics. It examines Markov chains and solution algorithms, building on results obtained in the Markov chain chapter to derive the basic relationship for queueing networks. Modeling and evaluation are discussed in the context of a variety of systems-including client-server systems, pulling systems, operating systems, ATM networks, and more. The authors present new queueing and optimization techniques for queueing networks, as well as multilevel methods for the solution of Markovian systems of equations. They show how to find an appropriate solution algorithm for a given problem using the queueing network tool PEPSY and how to determine benefits or limitations of queueing networks and Markov chains using the Markov analyzer MOSES. In addition, the book provides numerous illustrations and exercises, gives simple examples for all algorithms, and compares various methods for their computation time, storage requirement, accuracy, and applicability. Timely and comprehensive, Queueing Networks and Markov Chains is essential for practitioners and researchers working in this rapidly evolving field, as well as for graduate students in computer science departments.

Modeling and Performance Evaluation with Computer Science Applications

Queueing Networks and Markov Chains

Helmut Herold

Khalid Begain

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany. MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact and easy to understand. With additional constructs, the interesting performance or reliability measures and graphical representations can be specified. With some experience, it is possible to write down the MOSEL description of a system immediately only by knowing the behavior of the system under study. There are no restrictions, unlike models using, for example, queueing networks, Petri nets or fault trees. MOSEL fulfills all the requirements for a universal modeling language. It is high level, system-oriented, and usable. It is open and can be integrated with many tools. By providing compilers, which translate descriptions specified in MOSEL into the tool-specific languages, all previously implemented tools with their different methods and algorithms (including simulation) can be used. Practical Performance Modeling: Application of the MOSEL Language provides an easy to understand but nevertheless complete introduction to system modeling using MOSEL and illustrates how easily MOSEL can be used for modeling real-life examples from the fields of computer, communication, and manufacturing systems. Practical Performance Modeling: Application of the MOSEL Language will be of interest to professionals and students in the fields of performance and reliability modeling in computer science, communication, and manufacturing. It is also well suited as a textbook for university courses covering performance and reliability modeling with practical applications.

Application of the MOSEL Language

Practical Performance Modeling

Stefan Greiner

Hermann de Meer

Kishor S. Trivedi

Critically acclaimed text for computer performance analysis--now in its second edition The Second Edition of this now-classic text provides a current and thorough treatment of queueing systems, queueing networks, continuous and discrete-time Markov chains, and simulation. Thoroughly updated with new content, as well as new problems and worked examples, the text offers readers both the theory and practical guidance needed to conduct performance and reliability evaluations of computer, communication, and manufacturing systems. Starting with basic probability theory, the text sets the foundation for the more complicated topics of queueing networks and Markov chains, using applications and examples to illustrate key points. Designed to engage the reader and build practical performance analysis skills, the text features a wealth of problems that mirror actual industry challenges. New features of the Second Edition include: * Chapter examining simulation methods and applications * Performance analysis applications for wireless, Internet, J2EE, and Kanban systems * Latest material on non-Markovian and fluid stochastic Petri nets, as well as solution techniques for Markov regenerative processes * Updated discussions of new and popular performance analysis tools, including ns-2 and OPNET * New and current real-world examples, including DiffServ routers in the Internet and cellular mobile networks With the rapidly growing complexity of computer and communication systems, the need for this text, which expertly mixes theory and practice, is tremendous. Graduate and advanced undergraduate students in computer science will find the extensive use of examples and problems to be vital in mastering both the basics and the fine points of the field, while industry professionals will find the text essential for developing systems that comply with industry standards and regulations.

Gunter Bolch

Books

Your next favorite book is out there