- From www.edx.org
Reliable Distributed Algorithms - Part 1
You can't access an archived course
- 5 Sequences
- Introductive Level
- Starts on September 4, 2016
- Ends on October 8, 2016
Course details
Syllabus
- Event-driven concurrent programming of distributed algorithms
- Formal models of asynchronous systems using input/output automata
- Failure detectors and equivalence between various distributed abstractions
- Specifications and algorithms for reliable and causal-order broadcast
- Distributed shared memory and consistency models
- Single value consensus and related consensus algorithms, including Paxos.
Prerequisite
Instructors
- Seif Haridi
- Paris Carbone
- Lars Kroll
Editor
KTH in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world dedicated to advancing knowledge.
KTH is working with industry and society in the pursuit of sustainable solutions to some of humanity’s greatest challenges: climate change, future energy supply, urbanisation and quality of life for the rapidly-growing elderly population. We are addressing these with world leading, high-impact research and education in natural sciences and all branches of engineering, as well as in architecture, industrial management, urban planning, history and philosophy.
Platform
Harvard University, the Massachusetts Institute of Technology, and the University of California, Berkeley, are just some of the schools that you have at your fingertips with EdX. Through massive open online courses (MOOCs) from the world's best universities, you can develop your knowledge in literature, math, history, food and nutrition, and more. These online classes are taught by highly-regarded experts in the field. If you take a class on computer science through Harvard, you may be taught by David J. Malan, a senior lecturer on computer science at Harvard University for the School of Engineering and Applied Sciences. But there's not just one professor - you have access to the entire teaching staff, allowing you to receive feedback on assignments straight from the experts. Pursue a Verified Certificate to document your achievements and use your coursework for job and school applications, promotions, and more. EdX also works with top universities to conduct research, allowing them to learn more about learning. Using their findings, edX is able to provide students with the best and most effective courses, constantly enhancing the student experience.