Matches in SemOpenAlex for { <https://semopenalex.org/work/W2344596737> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2344596737 abstract "This thesis consists of three chapters, each of which studies a topic in the theory of distributed systems.The first chapter studies the problem of Approximate Agreement. This is a generalization of Byzantine Agreement, where processors are only required to obtain values that are close together, rather than identical. We offer new multi-round algorithms in several different models of computation, distinguished by the degree of synchrony in the system and the malevolence allowed to faulty processors. For each model we also examine the theoretical limits on attainable performance, and show that our algorithm is asymptotically optimal with increasing ratio of non-faulty processors to faulty ones.The second chapter (which is joint work with Nancy Lynch and Liuba Shrira) offers for the first time a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization. We specify both the algorithm and the correctness condition using the I/O automation model of Lynch, Merritt and Tuttle. Our proof of correctness follows closely the intuitive arguments made by the designer of the algorithm by exploiting the model's natural support for such important design techniques as stepwise refinement and modularity.The third chapter (which is joint work with Nancy Lynch, Michael Merritt and William Weihl) examines the problem of concurrency control and recovery in nested transaction database systems. We introduce a new algorithm which combines the general conflict-based locking algorithm (without nesting) of Weihl, and the read/write locking algorithm (with nesting) of Moss. We prove the correctness of this new algorithm using the I/O automation model." @default.
- W2344596737 created "2016-06-24" @default.
- W2344596737 creator A5025255598 @default.
- W2344596737 date "1987-01-01" @default.
- W2344596737 modified "2023-09-24" @default.
- W2344596737 title "Topics in distributed algorithms" @default.
- W2344596737 hasPublicationYear "1987" @default.
- W2344596737 type Work @default.
- W2344596737 sameAs 2344596737 @default.
- W2344596737 citedByCount "0" @default.
- W2344596737 crossrefType "journal-article" @default.
- W2344596737 hasAuthorship W2344596737A5025255598 @default.
- W2344596737 hasConcept C11413529 @default.
- W2344596737 hasConcept C120314980 @default.
- W2344596737 hasConcept C130120984 @default.
- W2344596737 hasConcept C134306372 @default.
- W2344596737 hasConcept C177148314 @default.
- W2344596737 hasConcept C33923547 @default.
- W2344596737 hasConcept C41008148 @default.
- W2344596737 hasConcept C55439883 @default.
- W2344596737 hasConcept C80444323 @default.
- W2344596737 hasConceptScore W2344596737C11413529 @default.
- W2344596737 hasConceptScore W2344596737C120314980 @default.
- W2344596737 hasConceptScore W2344596737C130120984 @default.
- W2344596737 hasConceptScore W2344596737C134306372 @default.
- W2344596737 hasConceptScore W2344596737C177148314 @default.
- W2344596737 hasConceptScore W2344596737C33923547 @default.
- W2344596737 hasConceptScore W2344596737C41008148 @default.
- W2344596737 hasConceptScore W2344596737C55439883 @default.
- W2344596737 hasConceptScore W2344596737C80444323 @default.
- W2344596737 hasLocation W23445967371 @default.
- W2344596737 hasOpenAccess W2344596737 @default.
- W2344596737 hasPrimaryLocation W23445967371 @default.
- W2344596737 hasRelatedWork W1033764083 @default.
- W2344596737 hasRelatedWork W1034667353 @default.
- W2344596737 hasRelatedWork W1511494208 @default.
- W2344596737 hasRelatedWork W1528666136 @default.
- W2344596737 hasRelatedWork W1529897089 @default.
- W2344596737 hasRelatedWork W1587639201 @default.
- W2344596737 hasRelatedWork W1966503837 @default.
- W2344596737 hasRelatedWork W2071164478 @default.
- W2344596737 hasRelatedWork W2133521570 @default.
- W2344596737 hasRelatedWork W2162648685 @default.
- W2344596737 hasRelatedWork W2247889754 @default.
- W2344596737 hasRelatedWork W2293623126 @default.
- W2344596737 hasRelatedWork W2362794186 @default.
- W2344596737 hasRelatedWork W2589034897 @default.
- W2344596737 hasRelatedWork W2995930820 @default.
- W2344596737 hasRelatedWork W3046141084 @default.
- W2344596737 hasRelatedWork W3136017913 @default.
- W2344596737 hasRelatedWork W3202293396 @default.
- W2344596737 hasRelatedWork W3205634452 @default.
- W2344596737 hasRelatedWork W905878330 @default.
- W2344596737 isParatext "false" @default.
- W2344596737 isRetracted "false" @default.
- W2344596737 magId "2344596737" @default.
- W2344596737 workType "article" @default.