Results 1 to 10 of about 6,228,748 (341)
Verifying Strong Eventual Consistency in Distributed Systems [PDF]
Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithms for achieving consistency in replicated systems are still poorly understood.
Victor B. F. Gomes +3 more
semanticscholar +5 more sources
Bitcoin meets strong consistency [PDF]
The Bitcoin system only provides eventual consistency. For everyday life, the time to confirm a Bitcoin transaction is prohibitively slow. In this paper we propose a new system, built on the Bitcoin blockchain, which enables strong consistency. Our system, PeerCensus, acts as a certification authority, manages peer identities in a peer-to-peer network,
Decker, Christian +2 more
openaire +4 more sources
Data-driven multinomial random forest: a new random forest variant with strong consistency [PDF]
In this paper, we modify the proof methods of some previously weakly consistent variants of random forest into strongly consistent proof methods, and improve the data utilization of these variants in order to obtain better theoretical properties and ...
JunHao Chen, XueLi Wang, Fei Lei
doaj +2 more sources
Distributed caching system with strong consistency model [PDF]
Modern distributed systems store thousands of gigabytes of information in persistent relational database management systems. It is the core storage component for microservice-based architectures.
Viktor Repin, Anatoly Sidorov
doaj +2 more sources
Strong Consistency of Certain Sequential Estimators [PDF]
Motivated by Loynes' (1969) treatment of (weak) consistency of sequential estimators, we establish here some allied results on strong consistency. The strengthened conclusion is achieved by imposing further restrictions, so that our results are not as broadly applicable as Loynes'.
Robert H. Berk
openalex +4 more sources
Weak consistency and strong paraconsistency
In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +3 more sources
Highly Scalable Distributed Architecture for NoSQL Datastore Supporting Strong Consistency
Introducing a strong consistency model into NoSQL data storages is one of the most interesting issues nowadays. In spite of the CAP theorem, many NoSQL systems try to strengthen the consistency to their limits to better serve the business needs. However,
Adam Krechowicz +2 more
doaj +2 more sources
Weak and Strong Time Consistency
We motivate and provide proofs of Ba?ar and Olsder’s (1995) theorems on the subject. The context is the increasing appreciation that the neoclassical framework is not the only model of the economy.
Romar Correa
openalex +3 more sources
A bounded consistency theorem for strong summabilities
The study of R-type summability methods is continued in this paper by showing that two such methods are identical on the bounded portion of the strong summability field associated with the methods.
C. S. Chun, A. R. Freedman
doaj +4 more sources
Strong supercooling as a consequence of renormalization group consistency [PDF]
Classically scale-invariant models are attractive not only because they may offer a solution to the long-standing gauge hierarchy problem, but also due to their role in facilitating strongly supercooled cosmic phase transitions.
Vedran Brdar +2 more
doaj +2 more sources

