ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

13,095 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,891 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 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

79,989 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,023 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,174 views

4 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,623 views

5 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

41,988 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.

987 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,263 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,639 views

5 years 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,516 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

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

827 views

1 year 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

61,873 views

5 years ago

Jukka Suomela
Distributed Algorithms 2020: lecture 1a · Introduction

Aalto University course CS-E4510 Distributed Algorithms. Lecture 1, part a: Introduction. https://jukkasuomela.fi/da2020/

14:24
Distributed Algorithms 2020: lecture 1a · Introduction

11,505 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

759 views

5 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,173 views

2 years ago

TLA+ - The Temporal Logic of Actions
Compiling Distributed System Models into Implementations with PGo - Hackett et al.

Distributed systems are difficult to design and implement correctly. In response, both research and industry are exploring ...

52:31
Compiling Distributed System Models into Implementations with PGo - Hackett et al.

674 views

3 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

15,995 views

4 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,515 views

5 years ago