Normal view
MARC view
Distributed Algorithms for Message-Passing Systems (Record no. 358192)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 05241nam a22005055i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000484930 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922070227.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr nn 008mamaa |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 140715s2013 gw | s |||| 0|eng d |
| 020 ## - Индекс ISBN | |
| ISBN | 9783642381232 |
| -- | 978-3-642-38123-2 |
| 024 7# - Прочие стандартные номера | |
| Стандартный номер | 10.1007/978-3-642-38123-2 |
| Источник номера | doi |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000484930 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | Springer |
| Служба, преобразующая запись | Springer |
| Организация, изменившая запись | RU-ToGU |
| 050 #4 - Расстановочный код библ. Конгресса | |
| Классификационный индекс | QA75.5-76.95 |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | UY |
| Источник кода | bicssc |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | UYA |
| Источник кода | bicssc |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | COM014000 |
| Источник кода | bisacsh |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | COM031000 |
| Источник кода | bisacsh |
| 082 04 - Индекс Дьюи | |
| Индекс Дьюи | 004.0151 |
| Номер издания | 23 |
| 100 1# - Автор | |
| Автор | Raynal, Michel. |
| Роль лиц | author. |
| 9 (RLIN) | 318727 |
| 245 10 - Заглавие | |
| Заглавие | Distributed Algorithms for Message-Passing Systems |
| Физический носитель | electronic resource |
| Ответственность | by Michel Raynal. |
| 260 ## - Выходные данные | |
| Место издания | Berlin, Heidelberg : |
| Издательство | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Дата издания | 2013. |
| 300 ## - Физическое описание | |
| Объем | XXXI, 500 p. 198 illus., 106 illus. in color. |
| Иллюстрации/тип воспроизводства | online resource. |
| 336 ## - Тип содержимого | |
| Тип содержимого | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - Средство доступа | |
| Средство доступа | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - Тип носителя | |
| Тип носителя | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 505 0# - Примечание о содержании | |
| Содержание | Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a Network -- Part II Logical Time and Global States in Distributed Systems -- Chap. 6 Nature of Distributed Computations and the Concept of a Global State -- Chap. 7 Logical Time in Asynchronous Distributed Systems -- Chap. 8 Asynchronous Distributed Checkpointing -- Chap. 9 Simulating Synchrony on Top of Asynchronous Systems -- Part III Mutual Exclusion and Resource Allocation -- Chap. 10 Permission-Based Mutual Exclusion Algorithms -- Chap. 11 Distributed Resource Allocation -- Part IV High-Level Communication Abstractions -- Chap. 12 Order Constraints on Message Delivery -- Chap. 13 Rendezvous and Synchronous Communication -- Part V Detection of Properties on Distributed Executions -- Chap. 14 Distributed Termination Detection -- Chap. 15 Distributed Deadlock Detection -- Part VI Distributed Shared Memory -- Chap. 16 Atomic Consistency (Linearizability) -- Chap. 17 Sequential Consistency -- Afterword -- Bibliography -- Index. |
| 520 ## - Аннотация | |
| Аннотация | Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing is mainly concerned with 'mastering uncertainty' created by issues such as the multiplicity of control flows, asynchronous communication, unstable behaviors, mobility, and dynamicity. While some distributed algorithms consist of a few lines only, their behavior can be difficult to understand and their properties hard to state and prove. The aim of this book is to present in a comprehensive way the basic notions, concepts, and algorithms of distributed computing when the distributed entities cooperate by sending and receiving messages on top of an asynchronous network. The book is composed of seventeen chapters structured into six parts: distributed graph algorithms, in particular what makes them different from sequential or parallel algorithms; logical time and global states, the core of the book; mutual exclusion and resource allocation; high-level communication abstractions; distributed detection of properties; and distributed shared memory. The author establishes clear objectives per chapter and the content is supported throughout with illustrative examples, summaries, exercises, and annotated bibliographies. This book constitutes an introduction to distributed computing and is suitable for advanced undergraduate students or graduate students in computer science and computer engineering, graduate students in mathematics interested in distributed computing, and practitioners and engineers involved in the design and implementation of distributed applications. The reader should have a basic knowledge of algorithms and operating systems. |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Computer Science. |
| 9 (RLIN) | 155490 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Computer hardware. |
| 9 (RLIN) | 566319 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Computer Communication Networks. |
| 9 (RLIN) | 566243 |
| 650 #0 - Тематические рубрики | |
| Основная рубрика | Information theory. |
| 9 (RLIN) | 303504 |
| 650 14 - Тематические рубрики | |
| Основная рубрика | Computer Science. |
| 9 (RLIN) | 155490 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Theory of Computation. |
| 9 (RLIN) | 303507 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Computer Communication Networks. |
| 9 (RLIN) | 566243 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Programming Techniques. |
| 9 (RLIN) | 566312 |
| 650 24 - Тематические рубрики | |
| Основная рубрика | Computer Hardware. |
| 9 (RLIN) | 566320 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | SpringerLink (Online service) |
| 9 (RLIN) | 143950 |
| 773 0# - Источник информации | |
| Название источника | Springer eBooks |
| 856 40 - Электронный адрес документа | |
| URL | <a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a> |
| 912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
| Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SCS |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 358192 |
No items available.