Page 1
Page 1
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques
Formal techniques for computer systems and business processes ; European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
Computer Performance Engineering ; 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.
Markov Chains : Models, Algorithms and Applications
Markov chains are a particularly powerful and widely used tool for analyzing a variety of stochastic (probabilistic) systems over time. This monograph will present a series of Markov models, starting from the basic models and then building up to higher-order models. Included in the higher-order discussions are multivariate models, higher-order multivariate models, and higher-order hidden models. In each case, the focus is on the important kinds of applications that can be made with the class of models being considered in the current chapter. Special attention is given to numerical algorithms that can efficiently solve the models. Therefore, Markov Chains: Models, Algorithms and Applications outlines recent developments of Markov chain models for modeling queueing sequences, Internet, re-manufacturing systems, reverse logistics, inventory systems, bio-informatics, DNA sequences, genetic networks, data mining, and many other practical systems.
Applied Stochastic Processes
Applied Stochastic Processes uses a distinctly applied framework to present the most important topics in the field of stochastic processes.
Analyzing computer system performance with Perl::PDQ
Analyzing computer system performance is often regarded by most system administrators, IT professionals and software engineers as a black art that is too time consuming to learn and apply. Finally, this book by acclaimed performance analyst Dr. Neil Gunther makes this subject understandable and applicable through programmatic examples. The means to this end is the open-source performance analyzer Pretty Damn Quick (PDQ) written in Perl As the epigraph in this book points out, Common sense is the pitfall of performance analysis. The performance analysis framework that replaces common sense is revealed in the first few chapters of Part I. The important queueing concepts embedded in PDQ are explained in a very simple style that does not require any knowledge of formal probability theory. Part II begins with a full specification of how to set up and use PDQ replete with examples written in Perl. Subsequent chapters present applications of PDQ to the performance analysis of multicomputer architectures, benchmark results, client/server scalability, and Web-based applications.
An Introduction to Queueing Theory: and Matrix-Analytic Methods
The present textbook contains the recordsof a two–semester course on que- ing theory, including an introduction to matrix–analytic methods. This book provides a mathematical introduction to the theory of queuing theory and matrix-analytic methods … . The style of the text … is concise and rigorous. The proofs are presented for study. Each chapter concludes with a set of exercises inviting readers to prove supplementary results and review particular aspects of the theory. The book under review attempts to give an introduction to the theory of queues without losing contact with its applicability. … For instructors who prefer the topics covered, this book is a nice candidate as they do not need to choose the topics but only need to elaborate on them. Nevertheless, it would be a good reference book for an introductory course in queuing theory, stochastic modelling, or applied probability
An Introduction to Queueing Theory : Modeling and Analysis in Applications
This introductory textbook is designed for a one-semester course on queueing theory that does not require a course in stochastic processes as a prerequisite. By integrating the necessary background on stochastic processes with the analysis of models, the work provides a sound foundational introduction to the modeling and analysis of queueing systems for a broad interdisciplinary audience of students in mathematics, statistics, and applied disciplines such as computer science, operations research, and engineering.
Advances in Industrial Engineering and Operations Research
Advances in Industrial Engineering and Operations Research compiles revised and extended articles written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists (IMECS) 2007. This volume addresses manufacturing processes and methods, optimization, experimental engineering design, and reliability and quality control techniques.
