On The Stability Of Exponential Backoff

This text covers the proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, which was held in Atlanta, Georgia, in January 1996.

This book constitutes the refereed proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2009, held in Madrid, Spain, in June 2009 in conjunction with ECMS 2009, the 23nd European Conference on Modeling and Simulation. The 27 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on telecommunication networks; wireless & mobile networks; simulation; quueing systems & distributions; queueing & scheduling in telecommunication networks; model checking & process algebra; performance & reliability analysis of various systems.

Wireless technologies and applications are becoming one of the fastest growing and most promising areas in recent years. To accommodate data transmission by multiple stations sharing the scarce wireless bandwidth, a medium access control (MAC) protocol plays a crucial role in scheduling packet transmission fairly and efficiently. The emerging wireless networks, such as ad-hoc networks, sensor networks or mesh networks, are mostly multi-hop based and in distributed manner, which brings a lot of problems and challenges in designing fine-tuned MAC protocols tailored for modern wireless network. In this book, the authors give complete and in-depth overviews to the classic medium access control algorithms and the related protocols, as well as their applications in various wireless data networks especially the most successful Wireless Local Area Networks (WLAN). The book consists of three major parts. Part I of this book, including Chapters 1-7, is emphasising on the fundamentals of medium access control algorithms and protocols. Chapter 1 provides an introduction to the wireless networks, such as overview of wireless networks, problems and challenges of the wireless networks, and the classifications of MAC protocols as well as the performance metrics. Chapter 2 introduces important collision resolution algorithms applied in medium access controls, for example, the splitting algorithm and the backoff algorithm. Chapter 3 reviews the hybrid access control algorithms that combine both contention and allocation schemes. A series of important collision avoidance schemes are introduced in Chapters 4-7 respectively, with a specific design goal covered in each chapter. Chapter 4 focuses on the multi-channel MAC protocols for collision avoidance; Chapter 5 introduces the concepts of power control and power management in medium access control and how they can be applied in MAC protocol design; Chapter 6 presents how to provide Quality-of- Service (QoS) to multimedia wireless networks, in either centralised or distributed manner; and Chapter 7 explains how the smart antennas can be applied in the medium access control to provide high channel throughput and low packet collision.

This book constitutes the refereed proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, held in Lille, France in February 2000. The 51 revised full papers presented together with the three invited papers were carefully reviewed and selected from a total of 146 submissions on the basis of some 700 reviewers' reports. The papers address fundamental issues from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, cryptography, graph theory, optimization, etc.

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023. The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical sections: supercomputer simulation; distributed computing; and HPC, BigData, AI: algorithms, technologies, evaluation.

This book constitutes the refereed post-proceedings of the third Asian Simulation Conference, AsiaSim 2004, held in Jeju Island, Korea in October 2004. The 78 revised full papers presented together with 2 invited keynote papers were carefully reviewed and selected from 178 submissions; after the conference, the papers went through another round of revision. The papers are organized in topical sections on modeling and simulation methodology, manufacturing, aerospace simulation, military simulation, medical simulation, general applications, network simulation and modeling, e-business simulation, numerical simulation, traffic simulation, transportation, virtual reality, engineering applications, and DEVS modeling and simulation.