Distributed Computing Through Combinatorial Topology
Distributed Computing Through Combinatorial Topology

Author: Maurice Herlihy

Publisher: Newnes

Published: 2013-11-30

Total Pages: 335

ISBN-13: 0124047289

DOWNLOAD EBOOK

Distributed Computing Through Combinatorial Topology describes techniques for analyzing distributed algorithms based on award winning combinatorial topology research. The authors present a solid theoretical foundation relevant to many real systems reliant on parallelism with unpredictable delays, such as multicore microprocessors, wireless networks, distributed systems, and Internet protocols. Today, a new student or researcher must assemble a collection of scattered conference publications, which are typically terse and commonly use different notations and terminologies. This book provides a self-contained explanation of the mathematics to readers with computer science backgrounds, as well as explaining computer science concepts to readers with backgrounds in applied mathematics. The first section presents mathematical notions and models, including message passing and shared-memory systems, failures, and timing models. The next section presents core concepts in two chapters each: first, proving a simple result that lends itself to examples and pictures that will build up readers' intuition; then generalizing the concept to prove a more sophisticated result. The overall result weaves together and develops the basic concepts of the field, presenting them in a gradual and intuitively appealing way. The book's final section discusses advanced topics typically found in a graduate-level course for those who wish to explore further. - Named a 2013 Notable Computer Book for Computing Methodologies by Computing Reviews - Gathers knowledge otherwise spread across research and conference papers using consistent notations and a standard approach to facilitate understanding - Presents unique insights applicable to multiple computing fields, including multicore microprocessors, wireless networks, distributed systems, and Internet protocols - Synthesizes and distills material into a simple, unified presentation with examples, illustrations, and exercises

Distributed Computing
Distributed Computing

Author: David Peleg

Publisher: SIAM

Published: 2000-01-01

Total Pages: 338

ISBN-13: 0898714648

DOWNLOAD EBOOK

Gives a thorough exposition of network spanners and other locality-preserving network representations such as sparse covers and partitions.

Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency

Author: Lisbeth Fajstrup

Publisher: Springer

Published: 2016-03-02

Total Pages: 171

ISBN-13: 3319153986

DOWNLOAD EBOOK

This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.

Digital Geometry
Digital Geometry

Author: Reinhard Klette

Publisher: Morgan Kaufmann

Published: 2004-08-06

Total Pages: 676

ISBN-13: 1558608613

DOWNLOAD EBOOK

The first book on digital geometry by the leaders in the field.

The Art of Multiprocessor Programming, Revised Reprint
The Art of Multiprocessor Programming, Revised Reprint

Author: Maurice Herlihy

Publisher: Elsevier

Published: 2012-06-25

Total Pages: 537

ISBN-13: 0123977959

DOWNLOAD EBOOK

Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that needed for efficient single-core programming. This book provides comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. Students and professionals alike will benefit from thorough coverage of key multiprocessor programming issues. - This revised edition incorporates much-demanded updates throughout the book, based on feedback and corrections reported from classrooms since 2008 - Learn the fundamentals of programming multiple threads accessing shared memory - Explore mainstream concurrent data structures and the key elements of their design, as well as synchronization techniques from simple locks to transactional memory systems - Visit the companion site and download source code, example Java programs, and materials to support and enhance the learning experience

Impossibility Results for Distributed Computing
Impossibility Results for Distributed Computing

Author: Hagit Attiya

Publisher: Springer Nature

Published: 2022-06-01

Total Pages: 146

ISBN-13: 3031020103

DOWNLOAD EBOOK

To understand the power of distributed systems, it is necessary to understand their inherent limitations: what problems cannot be solved in particular systems, or without sufficient resources (such as time or space). This book presents key techniques for proving such impossibility results and applies them to a variety of different problems in a variety of different system models. Insights gained from these results are highlighted, aspects of a problem that make it difficult are isolated, features of an architecture that make it inadequate for solving certain problems efficiently are identified, and different system models are compared.

Geometric and Topological Inference
Geometric and Topological Inference

Author: Jean-Daniel Boissonnat

Publisher: Cambridge University Press

Published: 2018-09-27

Total Pages: 247

ISBN-13: 1108419399

DOWNLOAD EBOOK

A rigorous introduction to geometric and topological inference, for anyone interested in a geometric approach to data science.

Topological Methods in Data Analysis and Visualization III
Topological Methods in Data Analysis and Visualization III

Author: Peer-Timo Bremer

Publisher: Springer Science & Business

Published: 2014-04-22

Total Pages: 276

ISBN-13: 3319040995

DOWNLOAD EBOOK

This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world’s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.

Fault-Tolerant Message-Passing Distributed Systems
Fault-Tolerant Message-Passing Distributed Systems

Author: Michel Raynal

Publisher: Springer

Published: 2018-09-08

Total Pages: 468

ISBN-13: 3319941410

DOWNLOAD EBOOK

This book presents the most important fault-tolerant distributed programming abstractions and their associated distributed algorithms, in particular in terms of reliable communication and agreement, which lie at the heart of nearly all distributed applications. These programming abstractions, distributed objects or services, allow software designers and programmers to cope with asynchrony and the most important types of failures such as process crashes, message losses, and malicious behaviors of computing entities, widely known under the term "Byzantine fault-tolerance". The author introduces these notions in an incremental manner, starting from a clear specification, followed by algorithms which are first described intuitively and then proved correct. The book also presents impossibility results in classic distributed computing models, along with strategies, mainly failure detectors and randomization, that allow us to enrich these models. In this sense, the book constitutes an introduction to the science of distributed computing, with applications in all domains of distributed systems, such as cloud computing and blockchains. Each chapter comes with exercises and bibliographic notes to help the reader approach, understand, and master the fascinating field of fault-tolerant distributed computing.

Philosophy of Computing
Philosophy of Computing

Author: Björn Lundgren

Publisher: Springer Nature

Published: 2022-05-04

Total Pages: 264

ISBN-13: 3030752674

DOWNLOAD EBOOK

This book features a unique selection of works presented at the 2019 annual international conference of the International Association for Computing and Philosophy (IACAP). Every contribution has been peer-reviewed, revised, and extended. The included chapters are thematically diverse; topics include epistemology, dynamic epistemic logic, topology, philosophy of science and computation, game theory and abductive inferences, automated reasoning and mathematical proofs, computer simulations, scientific modelling, applied ethics, pedagogy, human-robot interactions, and big data, algorithms, and artificial intelligence. The volume is a testament to the value of interdisciplinary approaches to the computational and informational turn. We live in a time of tremendous development, which requires rigorous reflection on the philosophical nature of these technologies and how they are changing the world. How can we understand these technologies? How do these technologies change our understanding of the world? And how do these technologies affect our place as humans in the world? These questions, and more, are addressed in this volume which is of interest to philosophers, engineers, and computer scientists alike.