分布式计算

出版时间:2006-12  出版社:湖南文艺出版社  作者:Dolev, Shlomi  页数:568  

内容概要

This book constitutes the refereed proceedings of the 20th International Symposium on Distributed Computing, DISC 2006, held in Stockholm, Sweden in September 2006.  The 35 revised full papers selected from 145 submissions are presented together with 1 invited paper and 13 brief announcements of ongoing works chosen from 26 submissions; all of them were carefully selected for inclusion in the book. The entire scope of current issues in distributed computing - theory, design, analysis, implementation, and application of distributed systems and networks - is addressed, ranging from foundational and theoretical topics to algorithms and systems issues and to applications in various fields.

书籍目录

Exploring Gafni's Reduction Land: From ~2k to Wait-Free Adaptive Renaming Via k-Set AgreementRenaming in Message Passing Systems with Byzantine FailuresBuilt-In Coloring for Highly-Concurrent Doubly-Linked ListsFault-Tolerant and Self-stabilizing Mobile Robots GatheringFast Computation by Population Protocols with a LeaderOn Self-stabilizing Search TreesEfficient Dynamic AggregationGroupings and Pairings in Anonymous NetworksA New Proof of the GHS Minimum Spanning Tree AlgorithmA Knowledge-Based Analysis of Global Function ComputationChecking a Multithreaded Algorithm with TCALCapturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium ArchitectureConflict Detection and Validation Strategies for Software Transactional MemoryTransactional Locking IILess Is More: Consensus Gaps Between Restricted and Unrestricted ObjectsOne-Step Consensus SolvabilityTime-Bounded Task-PIOAs: A Framework for Analyzing Security ProtocolsOn Consistency of Encrypted FilesAgreeing to Agree: Conflict Resolution for Optimistically Replicated DataA Lazy Snapshot Algorithm with Eager ValidationBounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of ClientsTime and Communication Efficient Consensus for Crash FailuresSubconsensus Tasks: Renaming Is Weaker Than Set AgreementExact Distance Labelings Yield Additive-Stretch Compact Routing Schemes……

图书封面

评论、评分、阅读与下载


    分布式计算 PDF格式下载



用户评论 (总计0条)

 
 

 

百度网盘资源搜索 狗头鹰

250万本中文图书简介、评论、评分,PDF格式免费下载。 第一图书网 手机版

第一图书网(tushu001.com) @ 2017