10. TFTDS Лекция 10 Спецификация распределеннои системы. TLA+

5 months ago 02:41:00 3

TFTDS Лекция 10 Спецификация распределённой системы. TLA+

1 year ago 02:41:00 25

10. TFTDS Лекция 10 Спецификация распределённой системы. TLA+

5 years ago 01:13:59 1

TFTDS 10. TLA+

5 years ago 01:42:34 1

TFTDS 7. Paxos Made Live

5 years ago 01:22:18 1

TFTDS 6. State Machine Replication, MultiPaxos

5 years ago 01:39:53 4

TFTDS 5. Single-Decree Paxos

5 years ago 01:12:42 1

TFTDS 3. Atomic Broadcast

5 years ago 01:24:58 2

TFTDS 2. Атомарный регистр, алгоритм ABD

5 years ago 00:54:18 1

TFTDS. Семинар 10

5 years ago 00:59:32 5

TFTDS. Семинар 6. Алгоритм RAFT. Сравнение с Multi-Paxos

5 years ago 00:48:47 1

TFTDS. Семинар 5. Single-Decree Paxos

5 years ago 01:09:20 1

TFTDS. Семинар 2. Distributed data store