19 links
  • Dans la poche de Dimtion
  • Home
  • Login
  • RSS Feed
  • ATOM Feed
  • Tag cloud
  • Picture wall
  • Daily
  • ► Play Videos
Links per page: 20 50 100
page 1 / 1
3 results tagged distributed-systems x
  • thumbnail
    Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly

    A great introductory tutorial on distributed systems formal verification using TLA+. Even though FV and model checking is overkill for many of web services, it is a tool that an engineer should keep in his/her toolbox : one day it might become handy!

    Tue Jan 29 23:28:01 2019 * - permalink -
    QRCode
    - archive.org - https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification
    distributed-systems model-checking
  • Time is Partial, or: why do distributed consistency models and weak memory models look so similar, anyway? - CMPS290S, Fall 2018

    Great analogy between consistency models and memory models

    Mon Nov 19 09:59:14 2018 - permalink -
    QRCode
    - archive.org - http://composition.al/CMPS290S-2018-09/2018/11/17/time-is-partial-or-why-do-distributed-consistency-models-and-weak-memory-models-look-so-similar-anyway.html
    distributed-systems
  • Zoo of consistency: consistency-survey.pdf

    A study from 2016 of consistency models for non-transactional distributed storage.

    Mon Nov 19 09:55:00 2018 - permalink -
    QRCode
    - archive.org - http://www.vukolic.com/consistency-survey.pdf
    distributed-systems read-later
Links per page: 20 50 100
page 1 / 1
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation