ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

6,147 results

London Mathematical Society
The Distributed Lovász Local Lemma, Peter Davies-Peck | LMS CS Colloquium 2024

Relatively recently, the LLL has also been shown to have a central role in the complexity theory of distributed algorithms, in which ...

49:35
The Distributed Lovász Local Lemma, Peter Davies-Peck | LMS CS Colloquium 2024

135 views

10 months ago

FPGA Developers' Forum
Distributed Arithmetic for Real-time Neural Networks on FPGAs

Sun, Chang (speaker) (California Institute of Technology (US)) Presented at the 2nd FPGA Developers' Forum ...

23:47
Distributed Arithmetic for Real-time Neural Networks on FPGAs

87 views

6 months ago

PyTorch
Monarch: A Distributed Execution Engine for PyTorch - Colin Taylor & Zachary DeVito, Meta

... can directly use ordinary programming constructs – classes, functions, loops, tasks, futures – to express distributed algorithms.

24:13
Monarch: A Distributed Execution Engine for PyTorch - Colin Taylor & Zachary DeVito, Meta

344 views

1 month ago

Gyaan Sandhi
DAA Unit 6 One Shot 🔥 Multithreading & Distributed Algorithms | SPPU Endsem Saver | BE Computer

Get ready for your SPPU BE Computer Endsem! This DAA Unit 6 One Shot covers everything you need — with crystal-clear ...

25:40
DAA Unit 6 One Shot 🔥 Multithreading & Distributed Algorithms | SPPU Endsem Saver | BE Computer

3,641 views

3 weeks ago

a16z crypto
Granular Synchrony: A New Network Timing Model for Distributed Computing with Ling Ren

His research interests span cryptography, computer security, and distributed algorithms. About a16z crypto research a16z crypto ...

52:45
Granular Synchrony: A New Network Timing Model for Distributed Computing with Ling Ren

287 views

2 months ago

ACM SIGPLAN
[SAS'25] Multi-Modal Verification of Distributed Systems in Lean

... aimed specifically at conducting machine-assisted proofs about concurrent and distributed algorithms. Veil is implemented on ...

1:01:29
[SAS'25] Multi-Modal Verification of Distributed Systems in Lean

11 views

4 weeks ago

GOTO Conferences
How Scale Makes Distributed Systems Slower • Jonathan Magen • GOTO 2024

This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgo https://gotochgo.com Jonathan Magen ...

38:28
How Scale Makes Distributed Systems Slower • Jonathan Magen • GOTO 2024

2,533 views

6 months ago

Plus Ultra Technology
Parallel & Distributed Algorithms OpenMPI
26:22
Parallel & Distributed Algorithms OpenMPI

36 views

8 months ago

IT DEPARTMENT VCET
UNIT 2 - Distributed Computing- Ricart- Agrawala’s Algorithm

By, Ms.T.Nithya, AP/IT VCET.

22:52
UNIT 2 - Distributed Computing- Ricart- Agrawala’s Algorithm

44 views

7 months ago

Diarmuid O Connor
Distributed Systems 2025 - Lecture 7

... in a while sqs is also distributed inherently we don't actually control it you might remember when we were talking about Dynamo ...

1:44:27
Distributed Systems 2025 - Lecture 7

45 views

9 months ago

Anoma
A Declarative Approach to Specifying Distributed Algorithms - Anoma Research Day

A declarative approach to specifying distributed algorithms by Murdoch J Gabbay.

1:11:53
A Declarative Approach to Specifying Distributed Algorithms - Anoma Research Day

48 views

9 months ago

Simons Institute for the Theory of Computing
On Interplanetary and Relativistic Distributed Computing

Siddhartha Jayanti (Dartmouth College) https://simons.berkeley.edu/talks/siddhartha-jayanti-dartmouth-college-2025-10-24 ...

58:36
On Interplanetary and Relativistic Distributed Computing

106 views

Streamed 2 months ago

Cohere
Arthur Douillard - Distributed Training in Machine Learning

This session is part of the Cohere Labs Open Science Community Summer School, a learning initiative featuring some of the ...

1:24:35
Arthur Douillard - Distributed Training in Machine Learning

1,362 views

5 months ago

TigerBeetle
Systems Distributed '25 Lightning Talks

Lightning talks from Systems Distributed '25 00:00 Intro 01:40 DST (again) With State Machines in Rust by Alfonso Subiotto ...

28:33
Systems Distributed '25 Lightning Talks

1,333 views

4 months ago

Stellar Development Foundation
Reduction theorems for effective parameterized verification of round- based distributed algorithms

Standard formal methods techniques apply to the verification of distributed algorithms only for a fixed number of finite-state ...

53:35
Reduction theorems for effective parameterized verification of round- based distributed algorithms

31 views

1 month ago

INI Seminar Room 1
MESW01 | Prof. Andy Sun | A new distributed algorithm for nonconvex network flow problems

MESW01 | Prof. Andy Sun | A new distributed algorithm for nonconvex network flow problems with convergence guarantees ...

56:09
MESW01 | Prof. Andy Sun | A new distributed algorithm for nonconvex network flow problems

23 views

2 weeks ago

PyCon DE
From Algorithm to Action: Building a DIY Distributed Trading Platform with Open Source

Recorded at PyCon DE & PyData 2025, April 24, 2025 https://2025.pycon.de/program/BR3D83/ A comprehensive exploration ...

45:11
From Algorithm to Action: Building a DIY Distributed Trading Platform with Open Source

197 views

2 months ago

Arbeitsgruppe PSQI
Quantum Distributed Algorithms - Marc-Olivier Renou

Quantum Distributed Algorithms. Foundations, distributed algorithms and nonlocality in Quantum Networks. Marc-Olivier Renou.

29:29
Quantum Distributed Algorithms - Marc-Olivier Renou

5 views

1 month ago

Jordan has no life
TikTok Monolith - Online Recommendation Systems | Distributed Systems Deep Dives With Ex-Google SWE

https://arxiv.org/pdf/2209.07663 Them dense features got me going cuckoo babygirl.

23:10
TikTok Monolith - Online Recommendation Systems | Distributed Systems Deep Dives With Ex-Google SWE

8,464 views

11 months ago

Ashish Pratap Singh
System Design was HARD until I Learned these 30 Concepts

My System Design Course: https://algomaster.io/learn/system-design/what-is-system-design ▻ My LLD interview course: ...

20:44
System Design was HARD until I Learned these 30 Concepts

1,121,543 views

9 months ago