Полное описание
> Cachin, C. Introduction to Reliable and Secure Distributed Programming : учебник / by Christian Cachin, Rachid Guerraoui, Luís Rodrigues. - 2th ed. - Berlin ; Heidelberg : Springer, 2011. - on-line. - URL: http://dx.doi.org/10.1007/978-3-642-15260-3. - Загл. с экрана. - ISBN 978-3-642-15260-3. - Текст : электронный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.42 | |
| 50.37.23 | 004.4.052 | |
| 004.056 |
Рубрики:
computer science
computer communication systems
operating systems (Computers)
algorithms
computer Science
algorithm Analysis and Problem Complexity
computer Communication Networks
operating Systems
Аннотация: In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes. Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".
Доп. точки доступа:
Guerraoui, R.
Rodrigues, L.
http://dx.doi.org/10.1007/978-3-642-15260-3
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): -253012932)>
Шифр в сводном ЭК: 9195df51e6a89aa2db65478ac842576d
Guerraoui R. Introduction to reliable distributed programming / R. Guerraoui, L. Rodrigues, 2006. - XVIII, 299 p. - Текст : непосредственный.Hojman R. From geodesics to metric / R.Hojman,L.M.C.S.Rodrigues, 1990. - 8 p. - Текст : непосредственный.Mazzitelli F.D. Quantum instability of Minkowski spacetime / F.D.Mazzitelli,L.M.C.S.Rodrigues, 1990. - 10 p. - Текст : непосредственный.Hojman R. Spherically symmetric relativistic model for spiral galaxies and dense stars / R.Hojman,L.M.C.S.Rodrigues,F.D.Sasse, 1990. - 10 p. - Текст : непосредственный.Cachin C. Introduction to Reliable and Secure Distributed Programming : учебник / by Christian Cachin, Rachid Guerraoui, Luís Rodrigues., 2011 r=on-line. - Текст : электронный.Stabilization, safety, and security of distributed systems : 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009: proceedings / eds.: R. Guerraoui, F. Petit, 2009 r=on-line. - Текст : электронный.Guerraoui R. Introduction to reliable distributed programming / R. Guerraoui, L. Rodrigues, 2006 r=on-line. - Текст : электронный.
Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Гришаев С.П. Правовая охрана товарных знаков,программ ЭВМ, ноу-хау в России и за рубежом / С. П. Гришаев, 1994. - 64 c. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Kane P. Keine Macht den Viren! : монография / P. Kane ; @:ubers. P. Riswick, 1990. - XVI,343 S. S. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Фомичев В.М. Дифференциация элементов в конечных группах и в автоматах по заданным признакам, определяющим криптографические свойства систем защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени д-ра физ.-мат. наук / В. М. Фомичев, 2006. - 38 с. - Текст : непосредственный.Хоглунд Г. Руткиты: внедрение в ядро Windows / Г. Хоглунд, Д. Батлер, 2007. - 284 с. - Текст : непосредственный.Басан А.С. Разработка моделей, алгоритмов и программ реализации мандатного разграничения доступа в СУБД с интеграцией прав доступа в цифровые сертификаты : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / А. С. Басан, 2007. - 16 с. - Текст : непосредственный.Балашов С.Г. Научно-методическое обеспечение риск-анализа и управление защитой региональных информационно-телекоммуникационных систем : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / С. Г. Балашов, 2007. - 15 с. - Текст : непосредственный.Пелешенко В.С. Разработка математической модели информационного обмена в локальной вычислительной сети для реализации средств и метода сетевой защиты информации : специальность 05.13.19 "Методы и системы защиты информации, информационная безопасность" : диссертация на соискание ученой степени канд. техн. наук / В. С. Пелешенко, 2007. - 18 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Оглтри Т.В. Firewalls. Практическое применение межсетевых экранов / Т. В. Оглтри, 2001. - 396 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Степанов П.В. Развитие телекоммуникационных систем и обеспечение информационной безопасности / П. В. Степанов, 2008. - 56 с. - Текст : непосредственный.
Показать все результатыХанжин А. Г. Формирование знания о рефератах и методах реферирования / А. Г. Ханжин, А. А. Кожокару, 2010 r=on-line. - Текст : непосредственный // Научно-техническая информация. Сер.1, Организация и методика информационной работы : Ежемес.науч.-техн.сб. / ВИНИТИ. - М. - 2011. - N 8. - с. 1-8Ganter B. Formal concept analysis / B. Ganter, G. Stumme, R. Wille ; ed. B. Ganter, 2005 r=on-line. - Текст : электронный.Faas R.J. Life system modeling and intelligent computing / R. J. Faas, K. Li ; ed. X. Li, 2010 r=on-line. - Текст : электронный.Sande S. Taking your ipad to the max / S. Sande, M. Grothaus, E. Sadun, 2010 r=on-line. - Текст : электронный.Pilgrim M. Dive into python 3 / M. Pilgrim, 2009 r=on-line. - Текст : электронный.Redkar T. Windows azure platform / T. Redkar, 2009 r=on-line. - Текст : электронный.Powers D. Getting startED with CSS / D. Powers, 2009 r=on-line. - Текст : электронный.Peutz M. Introducing aviary / M. Peutz, 2009 r=on-line. - Текст : электронный.Aitchison A. Expert SQL server 2008 development / A. Aitchison, A. Machanic, 2009 r=on-line. - Текст : электронный.Ganz C. Pro dynamic .net 4.0 applications / C. Ganz, 2010 r=on-line. - Текст : электронный.Nash T. Accelerated C# 2010 / T. Nash, 2010 r=on-line. - Текст : электронный.Expert oracle practices / M. Caffrey, J. Senegacnik, T. Gorman [et al.], 2010 r=on-line. - Текст : электронный.McGaw J. Beginning django e-commerce / J. McGaw, 2009 r=on-line. - Текст : электронный.Zammetti F.W. Practical palm pre webOS projects / F. W. Zammetti, 2009 r=on-line. - Текст : электронный.Nutting J. Learn cocoa on the mac / J. Nutting, D. Mark, J. LaMarche, 2010 r=on-line. - Текст : электронный.Murphy M.L. Beginning android 2 / M. L. Murphy, 2010 r=on-line. - Текст : электронный.Lee J. Beginning perl / J. Lee, 2010 r=on-line. - Текст : электронный.Kelly J.F. Getting started with windows live movie maker / J. F. Kelly, 2010 r=on-line. - Текст : электронный.MacDonald M. Pro WPF in VB 2010 / M. MacDonald, 2010 r=on-line. - Текст : электронный.Vugt S. Beginning ubuntu lTS server administration / S. Vugt, 2008 r=on-line. - Текст : электронный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Прокушев Я.Е. Криптографическая защита информации / Я. Е. Прокушев, 2005. - 145 с. - Текст : непосредственный.Уэйнманн Э. Photoshop CS2 для Windows и Macintosh / Э. Уэйнманн, П. Лурекас, 2006. - 875 с. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Кулагин Б.Ю. 3ds Max 8. Актуальное моделирование, визуализация и анимация / Б. Ю. Кулагин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Верстак В.А. 3ds Max 8 на 100 % / В. А. Верстак, С. В. Бондаренко, М. Ю. Бондаренко, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Райт С. Цифровой композитинг в кино и видео : монография / С. Райт, 2009. - 447 с. - Текст : непосредственный.
Показать все результатыПросмотр издания