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,
1 view
  lecture
flag Lecture 12. Unit 1. Total Order Broadcast
as author at  EDSA Courses,
2 views
lecture
flag Lecture 11. Unit 4. Mutli-Paxos Prepare Once Pipeline Accepts
as author at  EDSA Courses,
  lecture
flag Lecture 10. Unit 1. Paxos-Introduction
as author at  EDSA Courses,
5 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,
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,
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,
1 view
lecture
flag Lecture 1. Unit 1. Introduction to distributed systems (compact)
as author at  EDSA Courses,
37 views