SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Kronecker descriptor partitioning for parallel algorithms
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
A formal model for performance and energy evaluation of embedded systems
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
CIM: categorical influence maximization
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication
Exploring gate-limited analytical models for high-performance network storage servers
Journal of Computer and System Sciences
Simulation of Markovian models using bootstrap method
Proceedings of the 2010 Summer Computer Simulation Conference
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Stationary solution approximation using a memory-efficient perfect sampling technique
Proceedings of the 44th Annual Simulation Symposium
Triangular and skew-symmetric splitting method for numerical solutions of Markov chains
Computers & Mathematics with Applications
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
Journal of Parallel and Distributed Computing
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Brownian Circuits: Fundamentals
ACM Journal on Emerging Technologies in Computing Systems (JETC)
NCDawareRank: a novel ranking method that exploits the decomposable structure of the web
Proceedings of the sixth ACM international conference on Web search and data mining
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
On the numerical solution of Kronecker-based infinite level-dependent QBD processes
Performance Evaluation
Hi-index | 0.01 |
Probability, Markov Chains, Queues, and Simulation provides a modern and authoritative treatment of the mathematical processes that underlie performance modeling. The detailed explanations of mathematical derivations and numerous illustrative examples make this textbook readily accessible to graduate and advanced undergraduate students taking courses in which stochastic processes play a fundamental role. The textbook is relevant to a wide variety of fields, including computer science, engineering, operations research, statistics, and mathematics. The textbook looks at the fundamentals of probability theory, from the basic concepts of set-based probability, through probability distributions, to bounds, limit theorems, and the laws of large numbers. Discrete and continuous-time Markov chains are analyzed from a theoretical and computational point of view. Topics include the Chapman-Kolmogorov equations; irreducibility; the potential, fundamental, and reachability matrices; random walk problems; reversibility; renewal processes; and the numerical computation of stationary and transient distributions. The M/M/1 queue and its extensions to more general birth-death processes are analyzed in detail, as are queues with phase-type arrival and service processes. The M/G/1 and G/M/1 queues are solved using embedded Markov chains; the busy period, residual service time, and priority scheduling are treated. Open and closed queueing networks are analyzed. The final part of the book addresses the mathematical basis of simulation. Each chapter of the textbook concludes with an extensive set of exercises. An instructor's solution manual, in which all exercises are completely worked out, is also available (to professors only).Numerous examples illuminate the mathematical theories Carefully detailed explanations of mathematical derivations guarantee a valuable pedagogical approach Each chapter concludes with an extensive set of exercises Professors: A supplementary Solutions Manual is available for this book. It is restricted to teachers using the text in courses. For information on how to obtain a copy, refer to: http://press.princeton.edu/class_use/solutions.html