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,
652 views
  lecture
flag Lecture 12. Unit 1. Total Order Broadcast
as author at  EDSA Courses,
610 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,
683 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,
1642 views
  lecture
flag Lecture 6. Unit 4. Performance of algorithms
as author at  EDSA Courses,
625 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,
601 views
lecture
flag Lecture 3. Unit 1. Basic Abstractions
as author at  EDSA Courses,
585 views
  lecture
flag Lecture 2. Unit 0. Formal Models of distributed systems
as author at  EDSA Courses,
618 views
lecture
flag Lecture 1. Unit 1. Introduction to distributed systems (compact)
as author at  EDSA Courses,
1565 views