With the boom of big data and machine learning and the subsequent need for parallel processing technologies, fork-join queues are more relevant now than ever before. In this book, new estimates of the average response time in fork-join queues are proposed, which form the basis for new research opportunities. Analysis of Fork-Join Systems: Network of Queues with Precedence Constraints explores numerical approaches to estimate the average response time of fork-join queueing networks and offers never before published simple expressions for the mean response time as conjectures. Extensive experiments are included to demonstrate the remarkable accuracy of the conjectures and algorithms used in the estimation of the average response time. Graduate students, professors, and researchers in the fields of operations research, management science, industrial engineering, computer science, and electrical engineering will find this book very useful. Students, as well as researchers in both academia and industry, will also find this book of great help when looking for results related to fork-join queues

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.

This book presents revised versions of tutorial lectures given at the IEEE/CS symposium on modeling, analysis, and simulation of computer and telecommunication systems held in Orlando, FL, USA in October 2003. The lectures are grouped in three parts on performance and QoS of modern wired and wireless networks, current advances in performance modeling and simulation, and other specific applications of these methodologies. This tutorial book is targeted to both practitioners and researchers. The practitioner will benefit from numerous pointers to performance and QoS issues; the pedagogical style and plenty of references can be of great use in solving practical problems. The researcher and advanced student are offered a representative set of topics not only for their research value but also for their novelty and use in identifying areas of active research.

This volume originates from two workshops, both focusing on themes that are reflected in the title of the volume. The first workshop took place at Eindhoven University of Technology, April 24-26, 2001, on the occasion of the University granting a doctorate honoris causa to Profes sor John A. Buzacott. The second workshop was held on June 15, 2002 at Cornell University (preceding the annual INFORMSjMSOM Confer ence), honoring John's retirement and his lifetime contributions. Each of the two workshops consisted of about a dozen technical presentations. The objective of the volume, however, is not to simply publish the proceedings of the two workshops. Rather, our objective is to put to gether a select set of articles, each organized into a well-written chapter, focusing on a timely topic. Collected into a single volume, these chapters aim to serve as a useful reference for researchers and practitioners alike, and also as reading materials for graduate courses or seminars.

Analysis and Modeling of Manufacturing Systems is a set of papers on some of the newest research and applications of mathematical and computational techniques to manufacturing systems and supply chains. These papers deal with fundamental questions (how to predict factory performance: how to operate production systems) and explicitly treat the stochastic nature of failures, operation times, demand, and other important events. Analysis and Modeling of Manufacturing Systems will be of interest to readers with a strong background in operations research, including researchers and mathematically sophisticated practitioners.

The International Conference on Industrial Engineering and Engineering Management is sponsored by the Chinese Industrial Engineering Institution, CMES, which is the only national-level academic society for Industrial Engineering. The conference is held annually as the major event in this arena. Being the largest and the most authoritative international academic conference held in China, it provides an academic platform for experts and entrepreneurs in the areas of international industrial engineering and management to exchange their research findings. Many experts in various fields from China and around the world gather together at the conference to review, exchange, summarize and promote their achievements in the fields of industrial engineering and engineering management. For example, some experts pay special attention to the current state of the application of related techniques in China as well as their future prospects, such as green product design, quality control and management, supply chain and logistics management to address the need for, amongst other things low-carbon, energy-saving and emission-reduction. They also offer opinions on the outlook for the development of related techniques. The proceedings offers impressive methods and concrete applications for experts from colleges and universities, research institutions and enterprises who are engaged in theoretical research into industrial engineering and engineering management and its applications. As all the papers are of great value from both an academic and a practical point of view, they also provide research data for international scholars who are investigating Chinese style enterprises and engineering management.

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.

This book constitutes the refereed post-conference proceedings of the 25th International Conference on Distributed and Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 26–29, 2022. The 31 revised full papers and 2 revised short papers were carefully reviewed and selected from 130 submissions. The papers cover the following topics: computer and communication networks; analytical modeling of distributed systems; and distributed systems applications.