Home
Shorts

Sptdc

1:36:28

SPTDC 2019 — Workshop

SPTDC

205 views

19:51

WelcomeToHydra SPTDC

Andrei Dmitriev

20 views

1:15:32

Nikita Koval "Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM"

SPTDC

118 views

0:16

NS400R SPTDC始動

紙ヒコーキ。

691 views

30:34

Sergio Rajsbaum "On the Origins of Blockchains"

SPTDC

54 views

1:09

Justice for #TerrenceSterling, 4.13.18

Stop Police Terror Project DC

62 views

1:12:32

Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 1

SPTDC

157 views

42:13

Pierre Sutra "Modern Techniques for Data Availability and Durability" Part 1

SPTDC

87 views

1:34:49

Dan Alistarh "Efficient Algorithms for Machine Learning" Part 1

SPTDC

451 views

1:27:19

Gregory Chockler "Modular Construction of Live Byzantine Consensus Protocols" Part 1

SPTDC

65 views

1:27:59

Dan Alistarh "Efficient Algorithms for Machine Learning" Part 2

SPTDC

135 views

0:38

What am I watching..

vRapidz

7 views

0:25

NS400R on the dyno at Dynotech Ecosse - 66.3bhp

craig914

656 views

2:02

SPTDC for YX150 TX160 ignition & injection controler

kabevo

451 views

1:31:49

Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2

SPTDC

81 views