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,
3 views
  lecture
flag Lecture 12. Unit 1. Total Order Broadcast
as author at  EDSA Courses,
3 views
lecture
flag Lecture 11. Unit 4. Mutli-Paxos Prepare Once Pipeline Accepts
as author at  EDSA Courses,
1 view
  lecture
flag Lecture 10. Unit 1. Paxos-Introduction
as author at  EDSA Courses,
6 views
lecture
flag Lecture 9. Unit 2. Regular Consensus Fail-Stop Algorithm
as author at  EDSA Courses,
  lecture
flag Lecture 8. Unit 7. Formal Defintions of Consistency (optional)
as author at  EDSA Courses,
3 views
lecture
flag Lecture 7. Unit 3. No waiting algorithm
as author at  EDSA Courses,
1 view
  lecture
flag Lecture 6. Unit 4. Performance of algorithms
as author at  EDSA Courses,
1 view
lecture
flag Lecture 5. Unit 1. Quorums
as author at  EDSA Courses,
  lecture
flag Lecture 4. Unit 1. Failure detectors
as author at  EDSA Courses,
1 view
lecture
flag Lecture 3. Unit 1. Basic Abstractions
as author at  EDSA Courses,
1 view
  lecture
flag Lecture 2. Unit 0. Formal Models of distributed systems
as author at  EDSA Courses,
2 views
lecture
flag Lecture 1. Unit 1. Introduction to distributed systems (compact)
as author at  EDSA Courses,
79 views