Sptdc

Maurice Herlihy Cache-Conscious Concurrent Data Structures for Near-Memory Computing

Maurice Herlihy Cache-Conscious Concurrent Data Structures for Near-Memory Computing

SPTDC 141 471 6 months ago

Gregory Chockler Modular Construction of Live Byzantine Consensus Protocols Part 2

Gregory Chockler Modular Construction of Live Byzantine Consensus Protocols Part 2

SPTDC 6 20 6 months ago

Dan Alistarh Efficient Algorithms for Machine Learning Part 2

Dan Alistarh Efficient Algorithms for Machine Learning Part 2

SPTDC 25 83 6 months ago

Sergio Rajsbaum On the Origins of Blockchains

Sergio Rajsbaum On the Origins of Blockchains

SPTDC 7 22 6 months ago

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

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

SPTDC 23 75 6 months ago

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

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

SPTDC 27 91 6 months ago

Alexey Gotsman Database Isolation Levels Part 1

Alexey Gotsman Database Isolation Levels Part 1

SPTDC 209 697 6 months ago

Panagiota Fatourou Multi-Version Concurrent Data Structures

Panagiota Fatourou Multi-Version Concurrent Data Structures

SPTDC 47 155 6 months ago

Gregory Chockler Modular Construction of Live Byzantine Consensus Protocols Part 1

Gregory Chockler Modular Construction of Live Byzantine Consensus Protocols Part 1

SPTDC 11 38 6 months ago

Alexey Gotsman Database Isolation Levels Part 2

Alexey Gotsman Database Isolation Levels Part 2

SPTDC 60 201 6 months ago

SPTDC 2019 — Workshop

SPTDC 2019 — Workshop

SPTDC 60 200 4 years ago

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.

SPTDC 7K 23,966 4 years ago

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.

Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.

SPTDC 2K 5,359 4 years ago

Dan Alistarh Efficient Algorithms for Machine Learning Part 1

Dan Alistarh Efficient Algorithms for Machine Learning Part 1

SPTDC 78 261 6 months ago

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

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

SPTDC 27 91 6 months ago

Alexey Gotsman — Reasoning about data consistency in distributed systems

Alexey Gotsman — Reasoning about data consistency in distributed systems

SPTDC 184 613 3 years ago

Petr Kuznetsov — Lower bounds in distributed computing. Part 1.

Petr Kuznetsov — Lower bounds in distributed computing. Part 1.

SPTDC 78 260 4 years ago

Trevor Brown — Practical aspects of multicore programming. Part 1.

Trevor Brown — Practical aspects of multicore programming. Part 1.

SPTDC 209 698 4 years ago

Petr Kuznetsov — Lower bounds in distributed computing. Part 2.

Petr Kuznetsov — Lower bounds in distributed computing. Part 2.

SPTDC 38 127 4 years ago

Dan Alistarh Efficient Algorithms for Machine Learning Part 2

Dan Alistarh Efficient Algorithms for Machine Learning Part 2

SPTDC 25 83 6 months ago

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

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

SPTDC 23 75 6 months ago

Pierre Sutra Modern Techniques for Data Availability and Durability Part 1

Pierre Sutra Modern Techniques for Data Availability and Durability Part 1

SPTDC 19 62 6 months ago

Alexey Gotsman Database Isolation Levels Part 1

Alexey Gotsman Database Isolation Levels Part 1

SPTDC 209 697 6 months ago

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

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

SPTDC 14 48 6 months ago

Achour Mostefaoui — Byzantine agreement. Part 1.

Achour Mostefaoui — Byzantine agreement. Part 1.

SPTDC 199 663 4 years ago

Sergio Rajsbaum On the Origins of Blockchains

Sergio Rajsbaum On the Origins of Blockchains

SPTDC 7 22 6 months ago

Now looking for

Sptdc. Author: SPTDC, Duration: 1:03:58, Views : 471. Watch the newest videos without registration