Seif Haridi
homepage:https://www.kth.se/profile/haridi
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife


Lectures:

lecture
flag Programming Tutorial - Kompics
as author at  EDSA Courses,
651 views
  lecture
flag Lecture 12. Unit 1. Total Order Broadcast
as author at  EDSA Courses,
607 views
lecture
flag Lecture 11. Unit 4. Mutli-Paxos Prepare Once Pipeline Accepts
as author at  EDSA Courses,
597 views
  lecture
flag Lecture 10. Unit 1. Paxos-Introduction
as author at  EDSA Courses,
681 views
lecture
flag Lecture 9. Unit 2. Regular Consensus Fail-Stop Algorithm
as author at  EDSA Courses,
631 views
  lecture
flag Lecture 8. Unit 7. Formal Defintions of Consistency (optional)
as author at  EDSA Courses,
1231 views
lecture
flag Lecture 7. Unit 3. No waiting algorithm
as author at  EDSA Courses,
1635 views
  lecture
flag Lecture 6. Unit 4. Performance of algorithms
as author at  EDSA Courses,
624 views
lecture
flag Lecture 5. Unit 1. Quorums
as author at  EDSA Courses,
664 views
  lecture
flag Lecture 4. Unit 1. Failure detectors
as author at  EDSA Courses,
600 views
lecture
flag Lecture 3. Unit 1. Basic Abstractions
as author at  EDSA Courses,
582 views
  lecture
flag Lecture 2. Unit 0. Formal Models of distributed systems
as author at  EDSA Courses,
615 views
lecture
flag Lecture 1. Unit 1. Introduction to distributed systems (compact)
as author at  EDSA Courses,
1521 views