Computer Performance Modeling Handbook

Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science.

Statistical performance evaluation has assumed an increasing amount of importance as we seek to design more and more sophisticated communi cation and information processing systems. The ability to predict a pro posed system's performance without actually having to construct it is an extremely cost effective design tool. This book is meant to be a first year graduate level introduction to the field of statistical performance evaluation. As such, it covers queueing theory (chapters 1-4) and stochastic Petri networks (chapter 5). There is a short appendix at the end of the book which reviews basic probability theory. At Stony Brook, this material would be covered in the second half of a two course sequence (the first half is a computer networks course using a text such as Schwartz's Telecommunications Networks). Students seem to be encouraged to pursue the analytical material of this book if they first have some idea of the potential applications. I am grateful to B.L. Bodnar, J. Blake, J.S. Emer, M. Garrett, W. Hagen, Y.C. Jenq, M. Karol, J.F. Kurose, S.-Q. Li, A.C. Liu, J. McKenna, H.T. Mouftah and W.G. Nichols, I.Y. Wang, the IEEE and Digital Equip ment Corporation for allowing previously published material to appear in this book.

Computing Handbook, Third Edition: Computer Science and Software Engineering mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing Machinery (ACM) and the IEEE Computer Society (IEEE-CS). Written by established leading experts and influential young researchers, the first volume of this popular handbook examines the elements involved in designing and implementing software, new areas in which computers are being used, and ways to solve computing problems. The book also explores our current understanding of software engineering and its effect on the practice of software development and the education of software professionals. Like the second volume, this first volume describes what occurs in research laboratories, educational institutions, and public and private organizations to advance the effective development and use of computers and computing in today’s world. Research-level survey articles provide deep insights into the computing discipline, enabling readers to understand the principles and practices that drive computing education, research, and development in the twenty-first century.

Computer Capacity Planning: Theory and Practice deals with the theory and practice of computer capacity planning. Topics covered range from the tasks involved in computer capacity planning (inventory, workload measures and characterization, performance measurement, etc.) to environmental influences on computer capacity planning practices. An empirical study of computer capacity planning practices is also discussed, and the component approach is compared with the system modeling approach. Comprised of six chapters, this book begins with an introduction to the theories and techniques on computer capacity planning, along with the significance of computer capacity planning and the major elements in the process of computer capacity planning. The functions of each element are explained and the various techniques and tools for carrying out these functions are presented. The next chapter shows how these elements can be tied together to achieve the objective of computer capacity planning, that is, matching computer resources to computer workload in a cost-effective manner. The second part of the book examines how different organizations may adopt different capacity planning methods and how to improve the applicability of the theory and the quality of the practice on computer capacity planning. This monograph should be of interest to researchers, data processing managers, and analysts including those in charge of computer capacity planning and performance evaluation; auditors and quality assurance personnel; equipment manufacturers and software developers; and students in information sciences.

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.