Stem eventu$ (all stems)

16 papers:

PLDI-2015-Sivaramakrishnan #consistency #declarative #programming

Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.

ICALP-v2-2015-JagadeesanR #consistency #specification

From Sequential Specifications to Eventual Consistency (RJ, JR), pp. 247–259.

SAC-2015-LeTN #requirements #using #verification

Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.

POPL-2014-BouajjaniEH #consistency #replication #verification

Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.

HPDC-2014-DaiCKRZ #framework #incremental #named

Domino: an incremental computing framework in cloud with eventual synchronization (DD, YC, DK, RBR, XZ), pp. 291–294.

SIGMOD-2013-BernsteinD #consistency

Rethinking eventual consistency (PAB, SD), pp. 923–928.

PPDP-2013-BagnaraM #linear #ranking

Eventual linear ranking functions (RB, FM), pp. 229–238.

ESOP-2012-BurckhardtLFS #consistency #transaction

Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.

ECOOP-2012-BurckhardtFLW #consistency

Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.

SOSP-2011-LloydFKA #consistency #scalability

Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS (WL, MJF, MK, DGA), pp. 401–416.

IJCAR-2010-KaminskiS #hybrid #logic

Terminating Tableaux for Hybrid Logic with Eventualities (MK, GS), pp. 240–254.

POPL-2007-CookGPRV #proving #source code

Proving that programs eventually do something good (BC, AG, AP, AR, MYV), pp. 265–276.

SAC-2006-BonnetEV #ad hoc #mobile #network #using

Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts (FB, PDE, EV), pp. 670–674.

ICPR-v2-2000-TanY #convergence #distance #recognition #using

Object Recognition Using Fractal Neighbor Distance: Eventual Convergence and Recognition Rates (TT, HY), pp. 2781–2784.

ALP-1994-BuenoHMR #concurrent #semantics #source code

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics (FB, MVH, UM, FR), pp. 114–132.

LICS-1987-SistlaZ #logic #on the

On the Eventuality Operator in Temporal Logic (APS, LDZ), pp. 153–166.