Results 1 to 10 of about 6,228,748 (341)

Verifying Strong Eventual Consistency in Distributed Systems [PDF]

open access: greenProceedings of the ACM on Programming Languages, 2017
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]

open access: yesProceedings of the 17th International Conference on Distributed Computing and Networking, 2016
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]

open access: yesJournal of Big Data, 2022
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]

open access: goldFrontiers in Computer Science
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]

open access: diamondThe Annals of Mathematical Statistics, 1969
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

open access: yestripleC: Communication, Capitalism & Critique, 2009
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

open access: yesIEEE Access, 2021
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

open access: diamondTheoretical Economics Letters, 2012
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

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 1989
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]

open access: yesJournal of High Energy Physics, 2019
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

Home - About - Disclaimer - Privacy