Explore >> Select a destination
|
You are here 
|
fauna.com | ||
| | | | |
muratbuffalo.blogspot.com
|
|
| | | | | This work provides a TLA+ formalization of t he state-based isolation model introduced in the PODC 2017 paper. The TLA+ models provided her... | |
| | | | |
timilearning.com
|
|
| | | | | Spanner is a rare example of a distributed database that supports externally consistent distributed transactions. Many other databases either choose not to implement distributed transactions at all, or opt for weaker consistency models because of the performance cost involved. In this post, we'll learn how Google's TrueTime API enables it to provide this guarantee at a good performance. | |
| | | | |
hoverbear.org
|
|
| | | | | Learning about Jepsen and doing a survey of published analyses. | |
| | | | |
www.kai-waehner.de
|
|
| | | Blog about architectures, best practices and use cases for data streaming, analytics, hybrid cloud infrastructure, internet of things, crypto, and more | ||
