ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

13,131 results

UCIBrenICS
A Theoretical View of Distributed Systems: Nancy Lynch

Lynch has (co-)written many research articles about distributed algorithms and impossibility results, and about formal modeling ...

1:04:05
A Theoretical View of Distributed Systems: Nancy Lynch

1,897 views

5 years ago

Jukka Suomela
Distributed Algorithms 2020: lecture 7a · Covering maps

Aalto University course CS-E4510 Distributed Algorithms. Lecture 7, part a: Covering maps. https://jukkasuomela.fi/da2020/

7:38
Distributed Algorithms 2020: lecture 7a · Covering maps

922 views

5 years ago

Martin Kleppmann
Distributed Systems 4.1: Logical time

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

24:02
Distributed Systems 4.1: Logical time

105,532 views

5 years ago

Martin Kleppmann
Distributed Systems 6.2: Raft

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

38:09
Distributed Systems 6.2: Raft

44,393 views

4 years ago

Martin Kleppmann
Distributed Systems 8.2: Google's Spanner

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:41
Distributed Systems 8.2: Google's Spanner

42,171 views

5 years ago

Martin Kleppmann
Distributed Systems 7.1: Two-phase commit

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:45
Distributed Systems 7.1: Two-phase commit

80,175 views

5 years ago

Martin Kleppmann
Distributed Systems 4.3: Broadcast algorithms

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

13:45
Distributed Systems 4.3: Broadcast algorithms

51,439 views

5 years ago

Martin Kleppmann
Distributed Systems 7.2: Linearizability

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:44
Distributed Systems 7.2: Linearizability

46,798 views

5 years ago

Martin Kleppmann
Distributed Systems 5.2: Quorums

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

9:37
Distributed Systems 5.2: Quorums

46,769 views

5 years ago

GeekcampSG
Distributed Computing for New Bloods by Raymond Tay

This talk was recorded at GeekCampSG 2014 on 18th October 2014. Visit http://geekcamp.sg for more information about the ...

42:57
Distributed Computing for New Bloods by Raymond Tay

332 views

11 years ago

Jon Gjengset
Solving distributed systems challenges in Rust

In this stream we work through the fly.io distributed systems challenges (https://fly.io/dist-sys/) in Rust, and solve all the way up to ...

3:15:52
Solving distributed systems challenges in Rust

305,661 views

2 years ago

NPTEL IIT Bombay
Week 10: Lecture 35: Algorithms for Distributed Optimization

Algorithms for Distributed Optimization.

28:41
Week 10: Lecture 35: Algorithms for Distributed Optimization

834 views

1 year ago

Martin Kleppmann
Distributed Systems 6.1: Consensus

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:15
Distributed Systems 6.1: Consensus

47,690 views

5 years ago

Jukka Suomela
Distributed Algorithms 2020: lecture 11a · Hardness of coloring

Aalto University course CS-E4510 Distributed Algorithms. Lecture 11, part a: Hardness of coloring https://jukkasuomela.fi/da2020/

7:24
Distributed Algorithms 2020: lecture 11a · Hardness of coloring

760 views

5 years ago

MIT 6.824: Distributed Systems
Lecture 12: Distributed Transactions

Lecture 12: Distributed Transactions MIT 6.824: Distributed Systems (Spring 2020) https://pdos.csail.mit.edu/6.824/

1:17:24
Lecture 12: Distributed Transactions

53,843 views

5 years ago

Jukka Suomela
Distributed Algorithms 2020: lecture 9a · Round elimination

Aalto University course CS-E4510 Distributed Algorithms. Lecture 9, part a: Round elimination https://jukkasuomela.fi/da2020/

11:42
Distributed Algorithms 2020: lecture 9a · Round elimination

961 views

5 years ago

Martin Kleppmann
Distributed Systems 2.2: The Byzantine generals problem

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

10:42
Distributed Systems 2.2: The Byzantine generals problem

81,777 views

5 years ago

Martin Kleppmann
Distributed Systems 2.3: System models

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

20:45
Distributed Systems 2.3: System models

62,076 views

5 years ago

TLA+ - The Temporal Logic of Actions
An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.

https://conf.tlapl.us/2020/03-Heba_AlKayed-An_Extension_of_PlusCal_for_Modeling_Distributed_Algorithms.pdf.

10:12
An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.

990 views

5 years ago

Jonathan Dinu
Introduction to Distributed Computing with the Ray Framework

In this video, I give a brief introduction to distributed computing concepts and show how the Ray framework provides elegant ...

15:13
Introduction to Distributed Computing with the Ray Framework

16,028 views

4 years ago