Search results for "eventually"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	Communication-efficient leader election and consensus with limited link synchrony.	PODC	2004	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, consensus, asynchronous systems, failure detector, leader election, synchronous systems, partially synchronous systems
45	Moumen Hamouma, Achour Mostéfaoui, Gilles Trédan	Byzantine Consensus with Few Synchronous Links.	OPODIS	2007	DBLP DOI BibTeX RDF	Eventually timely link, Fault tolerance, Distributed algorithm, Consensus, Resilience, Asynchronous distributed system, Byzantine process
45	Sandeep S. Kulkarni, Anish Arora	Once-and-for all management protocol (OFMP).	ICNP	1997	DBLP DOI BibTeX RDF	once-and-forall management protocol, network management protocol, management information bases, fault-tolerance masking, eventually-detectable faults, protocols
38	Josyula R. Rao	Eventual determinism: using probabilistic means to achieve deterministic ends.	HICSS (2)	1995	DBLP DOI BibTeX RDF	eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
38	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
33	Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal	Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.	CPAIOR	2009	DBLP DOI BibTeX RDF
33	Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck	Optimal Deployment of Eventually-Serializable Data Services.	CPAIOR	2008	DBLP DOI BibTeX RDF
33	Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo	Eventually Consistent Failure Detectors.	PDP	2002	DBLP DOI BibTeX RDF	consistent accuracy, eventual leader election, transformation algorithm, consensus, equivalence, unreliable failure detector
32	Mikel Larrea, Cristian Martín 0001	From Omega to ?P in the Crash-Recovery Failure Model with Unknown Membership.	ARES	2008	DBLP DOI BibTeX RDF	Omega failure detector, eventually perfect, Distributed algorithms, Consensus, crash-recovery
31	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From liveness to promptness.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Verification, Temporal logic, Liveness
31	Roy Friedman, Achour Mostéfaoui, Michel Raynal	On the Respective Power of P and S to Solve One-Shot Agreement Problems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF
31	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	From Liveness to Promptness.	CAV	2007	DBLP DOI BibTeX RDF
31	Roy Friedman, Achour Mostéfaoui, Michel Raynal	The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems.	DISC	2004	DBLP DOI BibTeX RDF
31	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	On implementing omega with weak reliability and synchrony assumptions.	PODC	2003	DBLP DOI BibTeX RDF
27	Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri	Eventually linearizable shared objects.	PODC	2010	DBLP DOI BibTeX RDF	eventual linearizability, availability, graceful degradation
27	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Cooperation and Control, Point Formation, Self-Organizing Robots, Unreliable Compasses, Self-Stabilization, Autonomous Mobile Robots
27	Yantao Song, Scott M. Pike	Eventually k-Bounded Wait-Free Distributed Daemons.	DSN	2007	DBLP DOI BibTeX RDF	self-stabilization, wait-freedom, daemons
27	Joachim Wieland, Mikel Larrea, Alberto Lafuente	An evaluation of ring-based algorithms for the Eventually Perfect failure detector class.	PDP	2007	DBLP DOI BibTeX RDF
27	Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi	Proving that programs eventually do something good.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, termination, liveness, software model checking
27	Srikanth Sastry, Scott M. Pike	Eventually Perfect Failure Detectors Using ADD Channels.	ISPA	2007	DBLP DOI BibTeX RDF	Failure Detectors, Communication Models, Partial Synchrony
27	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.	SSS	2006	DBLP DOI BibTeX RDF
27	François Bonnet 0001, Paul D. Ezhilchelvan, Einar Vollset	Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts.	SAC	2006	DBLP DOI BibTeX RDF	crash-tolerance, quiescence, simulations, ad-hoc networking, consensus, group communication
27	Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo	Eventually consistent failure detectors.	SPAA	2001	DBLP DOI BibTeX RDF
26	Achour Mostéfaoui, Gilles Trédan	Towards the minimal synchrony for byzantine consensus.	PODC	2007	DBLP DOI BibTeX RDF	eventually timely link, fault-tolerance, authentication, distributed algorithm, consensus, resilience, asynchronous distributed system, byzantine process
26	Christof Fetzer, Ulrich Schmid 0001, Martin Süßkraut	On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times.	ICDCS	2005	DBLP DOI BibTeX RDF	eventually perfect failure detector, consensus, asynchronous systems, impossibility
26	Christof Fetzer, Ulrich Schmid 0001	Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times.	PODC	2004	DBLP DOI BibTeX RDF	eventually perfect failure detectors, consensus, asynchronous systems, impossibility
25	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	The weakest failure detector for wait-free dining under eventual weak exclusion.	SPAA	2009	DBLP DOI BibTeX RDF	mutual exclusion, failure detectors, wait-freedom, partial synchrony, dining philosophers
21	Meghana Thiyyakat, Rishit Chaudhary, Saurav G. Nayak, Adarsh Shetty, Subramaniam Kalambur, Dinkar Sitaram	Eventually-consistent federated scheduling for data center workloads.	Ad Hoc Networks	2024	DBLP DOI BibTeX RDF
21	Arya Tanmay Gupta, Sandeep S. Kulkarni	Eventually lattice-linear algorithms.	J. Parallel Distributed Comput.	2024	DBLP DOI BibTeX RDF
21	Haim Horowitz, Saharon Shelah	A Borel maximal eventually different family.	Ann. Pure Appl. Log.	2024	DBLP DOI BibTeX RDF
21	Hyejin Han, Ricardo G. Sanfelice	Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
21	Natasha Morrison, JD Nir, Sergey Norin, Pawel Rzazewski, Alexandra Wesolek	Every graph is eventually Turán-good.	J. Comb. Theory, Ser. B	2023	DBLP DOI BibTeX RDF
21	Fan Zhou	On Eventually Periodic Sets as Minimal Additive Complements.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
21	Grégory Bénassy, Fukuhito Ooshita, Michiko Inoue	Eventually consistent distributed ledger despite degraded atomic broadcast.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
21	Keisuke Okumura 0001	Improving LaCAM for Scalable Eventually Optimal Multi-Agent Pathfinding.	CoRR	2023	DBLP DOI BibTeX RDF
21	Nick Stender, Tobias Pfandzelter, David Bermbach	Eventually Consistent Configuration Management in Fog Systems with CRDTs.	CoRR	2023	DBLP DOI BibTeX RDF
21	Arya Tanmay Gupta, Sandeep S. Kulkarni	Eventually Lattice-Linear Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
21	Meghana Thiyyakat, Subramaniam Kalambur, Rishit Chaudhary, Saurav G. Nayak, Adarsh Shetty, Dinkar Sitaram	Eventually-Consistent Federated Scheduling for Data Center Workloads.	CoRR	2023	DBLP DOI BibTeX RDF
21	Gabriela Stein, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes	Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems.	LADC	2023	DBLP DOI BibTeX RDF
21	Nick Stender, Tobias Pfandzelter, David Bermbach	Eventually Consistent Configuration Management in Fog Systems With CRDTs.	IC2E	2023	DBLP DOI BibTeX RDF
21	Joachim Thomassen, Weihai Yu	Eventually-Consistent Replicated Relations and Updatable Views.	ADBIS (Short Papers)	2023	DBLP DOI BibTeX RDF
21	Dmitrii Fedoseev, Serhii Tupchii, Thales Macedo Garitezi, Zaiming Shi	Mria: An Eventually Consistent Mnesia.	Erlang Workshop	2023	DBLP DOI BibTeX RDF
21	Keisuke Okumura 0001	Improving LaCAM for Scalable Eventually Optimal Multi-Agent Pathfinding.	IJCAI	2023	DBLP DOI BibTeX RDF
21	Susanne Braun	Architecting Safe Eventually Consistent Systems.		2023	RDF
21	Manuel de la Sen	On the External Positivity of SISO Linear Dynamic Systems under a Class of Nonzero and Possibly Negative Initial Conditions Eventually Subject to Incommensurate Point Internal and External Delays.	Syst.	2022	DBLP DOI BibTeX RDF
21	France Gheeraert	Some properties of morphic images of (eventually) dendric words.	CoRR	2022	DBLP DOI BibTeX RDF
21	Hunsoo Song, Jinha Jung	A new explainable DTM generation algorithm with airborne LIDAR data: grounds are smoothly connected eventually.	CoRR	2022	DBLP DOI BibTeX RDF
21	Roman Iakymchuk, Amândio Faustino, Andrew P. J. Emerson, João Barreto 0001, Valeria Bartsch, Rodrigo Rodrigues 0001, José C. Monteiro 0001	Efficient and Eventually Consistent Collective Operations.	CoRR	2022	DBLP DOI BibTeX RDF
21	Laine E. Rumreich, Paolo A. G. Sivilotti	An Eventually Perfect Failure Detector on ADD Channels Using Clustering.	NETYS	2022	DBLP DOI BibTeX RDF
21	Norita B. Ahmad	Do Data Almost Always Eventually Leak?	Computer	2021	DBLP DOI BibTeX RDF
21	Fredy Vides	Computing Semilinear Sparse Models for Approximately Eventually Periodic Signals.	CoRR	2021	DBLP BibTeX RDF
21	Stefan Seifert	How at the Institute of Information Systems and Marketing One Thing Leads to Another and Eventually Results in a Low-Trade Theorem.	Market Engineering	2021	DBLP DOI BibTeX RDF
21	Roman Iakymchuk, Amândio Faustino, Andrew P. J. Emerson, João Barreto 0001, Valeria Bartsch, Rodrigo Rodrigues 0001, José C. Monteiro 0001	Efficient and Eventually Consistent Collective Operations.	IPDPS Workshops	2021	DBLP DOI BibTeX RDF
21	Julian F. Müller, Jan Gogoll	Should Manual Driving be (Eventually) Outlawed?	Sci. Eng. Ethics	2020	DBLP DOI BibTeX RDF
21	Karla Vargas, Sergio Rajsbaum, Michel Raynal	An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values.	Parallel Process. Lett.	2020	DBLP DOI BibTeX RDF
21	Pradip Debnath, Manuel de la Sen	Fixed Points of Eventually Δ-Restrictive and Δ(ϵ)-Restrictive Set-Valued Maps in Metric Spaces.	Symmetry	2020	DBLP DOI BibTeX RDF
21	Dmitry V. Gorbachev, Valerii I. Ivanov, Sergey Tikhonov	Uncertainty Principles for Eventually Constant Sign Bandlimited Functions.	SIAM J. Math. Anal.	2020	DBLP DOI BibTeX RDF
21	Steffen Maass, Mohan Kumar Kumar, Taesoo Kim, Tushar Krishna, Abhishek Bhattacharjee	ECOTLB: Eventually Consistent TLBs.	ACM Trans. Archit. Code Optim.	2020	DBLP DOI BibTeX RDF
21	Alex Warstadt, Yian Zhang, Haau-Sing Li, Haokun Liu, Samuel R. Bowman	Learning Which Features Matter: RoBERTa Acquires a Preference for Linguistic Generalizations (Eventually).	CoRR	2020	DBLP BibTeX RDF
21	Xuchan Bao, James Lucas, Sushant Sachdeva, Roger B. Grosse	Regularized linear autoencoders recover the principal components, eventually.	CoRR	2020	DBLP BibTeX RDF
21	Duong N. Nguyen, Sandeep S. Kulkarni	Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores.	CoRR	2020	DBLP BibTeX RDF
21	Éric Brier, Rémi Géraud-Stewart, David Naccache, Alessandro Pacco, Emanuele Troiani	The Look-and-Say The Biggest Sequence Eventually Cycles.	CoRR	2020	DBLP BibTeX RDF
21	Manuel de la Sen, Asier Ibeas, Raul Nistal	On the Entropy of Events under Eventually Global Inflated or Deflated Probability Constraints. Application to the Supervision of Epidemic Models under Vaccination Controls.	Entropy	2020	DBLP DOI BibTeX RDF
21	Susanne Braun, Stefan Deßloch	A Classification of Replicated Data for the Design of Eventually Consistent Domain Models.	ICSA Companion	2020	DBLP DOI BibTeX RDF
21	Alex Warstadt, Yian Zhang, Xiaocheng Li, Haokun Liu, Samuel R. Bowman	Learning Which Features Matter: RoBERTa Acquires a Preference for Linguistic Generalizations (Eventually).	EMNLP (1)	2020	DBLP DOI BibTeX RDF
21	Xuchan Bao, James Lucas, Sushant Sachdeva, Roger B. Grosse	Regularized linear autoencoders recover the principal components, eventually.	NeurIPS	2020	DBLP BibTeX RDF
21	Jim Bauwens, Elisa Gonzalez Boix	Flec: a versatile programming framework for eventually consistent systems.	PaPoC@EuroSys	2020	DBLP DOI BibTeX RDF
21	Duong N. Nguyen, Sandeep S. Kulkarni	Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores.	SRDS	2020	DBLP DOI BibTeX RDF
21	Paulo Sérgio Almeida, Carlos Baquero	Scalable eventually consistent counters over unreliable networks.	Distributed Comput.	2019	DBLP DOI BibTeX RDF
21	Jianying Zheng, Jiu-Gang Dong, Lihua Xie	Minimal Strongly Eventually Positive Realization for a Class of Externally Positive Systems.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
21	Roberto Saltini, David Hyland-Wood	IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks.	CoRR	2019	DBLP BibTeX RDF
21	José Luis Mancilla-Aguilar, Hernan Haimovich, Petro Feketa	Uniform stability of nonlinear time-varying impulsive systems with eventually uniformly bounded impulse frequency.	CoRR	2019	DBLP BibTeX RDF
21	Duong N. Nguyen, Sandeep S. Kulkarni	Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores.	CoRR	2019	DBLP BibTeX RDF
21	Jim Webber, Paul D. Ezhilchelvan, Isi Mitrani	Modeling Corruption in Eventually-Consistent Graph Databases.	CoRR	2019	DBLP BibTeX RDF
21	Karla Vargas, Sergio Rajsbaum	An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values.	DSN	2019	DBLP DOI BibTeX RDF
21	Changlong Wu, Narayana Santhanam	Being correct eventually almost surely.	ISIT	2019	DBLP DOI BibTeX RDF
21	Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta	Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study.	ICDCN	2019	DBLP DOI BibTeX RDF
21	Simon Iosti, Denis Kuperberg	Eventually Safe Languages.	DLT	2019	DBLP DOI BibTeX RDF
21	Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken	Eventually Sound Points-To Analysis with Specifications.	ECOOP	2019	DBLP DOI BibTeX RDF
21	Nicholas McCarthy, Mohammad Karzand, Freddy Lécué	Amsterdam to Dublin Eventually Delayed? LSTM and Transfer Learning for Predicting Delays of Low Cost Airlines.	AAAI	2019	DBLP DOI BibTeX RDF
21	Francesco Dolce, Dominique Perrin	Eventually Dendric Shifts.	CSR	2019	DBLP DOI BibTeX RDF
21	Francesco Dolce, Dominique Perrin	Return Words and Bifix Codes in Eventually Dendric Sets.	WORDS	2019	DBLP DOI BibTeX RDF
21	Grégory Bénassy, Fukuhito Ooshita, Michiko Inoue	Eventually Consistent Distributed Ledger Relying on Degraded Atomic Broadcast.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
21	Patrick Koopmann	Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries.	Description Logics	2019	DBLP BibTeX RDF
21	Gerhard Lakemeyer, Hector J. Levesque	A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief.	IJCAI	2019	DBLP DOI BibTeX RDF
21	Aivar Sootla, Alexandre Mauroy	Operator-Theoretic Characterization of Eventually Monotone Systems.	IEEE Control. Syst. Lett.	2018	DBLP DOI BibTeX RDF
21	Caili Sang, Jianxing Zhao	Eventually DSDD Matrices and Eigenvalue Localization.	Symmetry	2018	DBLP DOI BibTeX RDF
21	Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta	Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study.	CoRR	2018	DBLP BibTeX RDF
21	Martín Diéguez, David Fernández-Duque	An Intuitionistic Axiomatization of 'Eventually'.	Advances in Modal Logic	2018	DBLP BibTeX RDF
21	Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies	From Eventually Different Functions to Pandemic Numberings.	CiE	2018	DBLP DOI BibTeX RDF
21	Dima Mansour, Claudio Marxer, Christian F. Tschudin	On Eventually-Available Data in Content-Centric Networking.	NOF	2018	DBLP DOI BibTeX RDF
21	Qiong Liu, Zhengbo Li, Chaoqian Li	A note on eventually SDD matrices and eigenvalue localization.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
21	Hagit Attiya, Faith Ellen, Adam Morrison 0001	Limitations of Highly-Available Eventually-Consistent Data Stores.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
21	Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma 0001, Alex Aiken	Eventually Sound Points-To Analysis with Missing Code.	CoRR	2017	DBLP BibTeX RDF
21	Yu Tang 0018, Hailong Sun 0001, Xu Wang 0007, Xudong Liu 0001	An efficient and highly available framework of data recency enhancement for eventually consistent data stores.	Frontiers Comput. Sci.	2017	DBLP DOI BibTeX RDF
21	Shankha Chatterjee, Wojciech M. Golab	Self-tuning Eventually-Consistent Data Stores.	SSS	2017	DBLP DOI BibTeX RDF
21	Paulo Arion Flores, Frank Siqueira	Invariant Control in Eventually Consistent Databases.	WebDB	2017	DBLP DOI BibTeX RDF
21	J. Micah Fry, Mazen Farhood	Robustness analysis of eventually periodic systems using integral quadratic constraints with periodic multipliers.	CDC	2017	DBLP DOI BibTeX RDF
21	Shankha Chatterjee, Wojciech M. Golab	Brief Announcement: A Probabilistic Performance Model and Tuning Framework for Eventually Consistent Distributed Storage Systems.	PODC	2017	DBLP DOI BibTeX RDF
21	Marko Vukolic	Eventually Returning to Strong Consistency.	IEEE Data Eng. Bull.	2016	DBLP BibTeX RDF