Search results for "linearizable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	Danny Hendler, Nir Shavit, Lena Yerushalmi	A scalable lock-free stack algorithm.	SPAA	2004	DBLP DOI BibTeX RDF
66	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
62	Maurice Herlihy, Eric Koskinen	Transactional boosting: a methodology for highly-concurrent transactional objects.	PPoPP	2008	DBLP DOI BibTeX RDF	abstract locks, transactional boosting, transactional memory, commutativity, non-blocking algorithms
62	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
51	Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri	Abortable Fork-Linearizable Storage.	OPODIS	2009	DBLP DOI BibTeX RDF	Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
51	Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes	Supporting Linearizable Semantics in Replicated Databases.	NCA	2008	DBLP DOI BibTeX RDF	linearizability, database replication
51	Christian Cachin, Abhi Shelat, Alexander Shraer	Efficient fork-linearizable access to untrusted shared memory.	PODC	2007	DBLP DOI BibTeX RDF	arbitrary failures, fork-consistency, storage emulations
51	Maurice Herlihy, Nir Shavit, Orli Waarts	Low Contention Linearizable Counting	FOCS	1991	DBLP DOI BibTeX RDF	network gates, nonblocking construction, wait free construction, asynchronous concurrent processes, real-time order, linearizable counting networks, data structures
46	James Aspnes, Hagit Attiya, Keren Censor	Max registers, counters, and monotone circuits.	PODC	2009	DBLP DOI BibTeX RDF	max registers, distributed computing, shared memory, counters, monotone circuits
46	Marios Mavronicolas, Dan Roth	Efficient, Strongly Consistent Implementations of Shared Memory (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
35	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
35	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
31	Danny Hendler, Shay Kutten	Bounded-wait combining: constructing robust and high-throughput shared objects.	Distributed Comput.	2009	DBLP DOI BibTeX RDF
31	Alysson Neves Bessani, Miguel Correia 0001, Joni da Silva Fraga, Lau Cheuk Lung	Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems.	NCA	2007	DBLP DOI BibTeX RDF
31	Moshe Hoffman, Ori Shalev, Nir Shavit	The Baskets Queue.	OPODIS	2007	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and Swap, Non-blocking, Concurrent Data Structures, FIFO queue
31	Danny Hendler, Shay Kutten	Constructing Shared Objects That Are Both Robust and High-Throughput.	DISC	2006	DBLP DOI BibTeX RDF
31	Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons	Scalable Room Synchronizations.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
31	Phillip B. Gibbons, John L. Bruno, Steven Phillips	Black-Box Correctness Tests for Basic Parallel Data Structures.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
31	Kurt-Ulrich Witt	On Linearizing Graphs.	WG	1980	DBLP DOI BibTeX RDF
31	Panagiota Fatourou, Nikolaos D. Kallimanis	Time-optimal, space-efficient single-scanner snapshots & multi-scanner snapshots using CAS.	PODC	2007	DBLP DOI BibTeX RDF	linearizable objects, single-scanner, wait-free implementations, distributed algorithms, asynchronous, snapshots, compare-and-swap (CAS)
31	Matei David	Brief announcement: a single enqueuer wait-free queue implementation.	PODC	2004	DBLP DOI BibTeX RDF	common2, implementation, queue, wait-free, linearizable
20	Haijing Wang, Jinzhu Peng, Fangfang Zhang 0004, Yaonan Wang 0001	Safety-Based Dynamic Output Feedback Tracking Control of Time-Varying Input-Output Linearizable Systems With Output Constraints.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
20	Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada	Learning to Control Known Feedback Linearizable Systems From Demonstrations.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
20	Shreyas N. B., David Martín de Diego, Ravi Banavar 0001	Feedback Linearizable Discretizations of Second Order Mechanical Systems using Retraction Maps.	CoRR	2024	DBLP DOI BibTeX RDF
20	Dmitry A. Lyakhov, Dominik L. Michels	On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations.	CoRR	2024	DBLP DOI BibTeX RDF
20	Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch	Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers.	CoRR	2024	DBLP DOI BibTeX RDF
20	Cong Liu, Jian Xu	On the linearizable initial-boundary value problems for the Sasa-Satsuma equation on the half-line.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF
20	Romolo Marotta, Mauro Ianni, Alessandro Pellegrini 0001, Francesco Quaglia	A Conflict-Resilient Lock-Free Linearizable Calendar Queue.	ACM Trans. Parallel Comput.	2024	DBLP DOI BibTeX RDF
20	Ahmed Alquraan, Sreeharsha Udayashankar, Virendra J. Marathe, Bernard Wong 0001, Samer Al-Kiswany	LoLKV: The Logless, Linearizable, RDMA-based Key-Value Storage System.	NSDI	2024	DBLP BibTeX RDF
20	Ashutosh Jindal, Ravi N. Banavar, David Martín de Diego	Constructing Feedback Linearizable Discretizations for Continuous-Time Systems Using Retraction Maps.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum, Michel Raynal	Set-Linearizable Implementations from Read/Write Operations: Sets, Fetch &Increment, Stacks and Queues with Multiplicity.	Distributed Comput.	2023	DBLP DOI BibTeX RDF
20	Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001	Data-Based Control of Feedback Linearizable Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
20	Ashutosh Jindal, Ravi N. Banavar, David Martín de Diego	Constructing Feedback Linearizable Discretizations for Continuous-Time Systems using Retraction Maps.	CoRR	2023	DBLP DOI BibTeX RDF
20	Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile	Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.	CoRR	2023	DBLP DOI BibTeX RDF
20	Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez	A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ryuta Moriyasu, Masayuki Kusunoki, Kenji Kashima	Learning Exactly Linearizable Deep Dynamics Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Karthik Shenoy, Akshit Saradagi, Ramkrishna Pasumarthy, Vijaysekhar Chellaboina	Model-Free Control Design for Feedback-Linearizable SISO Systems.	CoRR	2023	DBLP DOI BibTeX RDF
20	Vinícius Lima 0002, Dzung T. Phan, Lam M. Nguyen, Jayant Kalagnanam	Optimal Control via Linearizable Deep Learning.	ACC	2023	DBLP DOI BibTeX RDF
20	Joshua Guarnieri, Aleksey Charapko	Linearizable Low-latency Reads at the Edge.	PaPoC@EuroSys	2023	DBLP DOI BibTeX RDF
20	Jian Yi, Qing Li 0006, Bin Zhang, Yong Jiang 0001, Dan Zhao, Yuan Yang 0001, Zhenhui Yuan	Gleaning the Consensus for Linearizable and Conflict-Free Per-Replica Local Reads.	APNet	2023	DBLP DOI BibTeX RDF
20	Adnane Khattabi Riffi	On improving complexity of linearizable and wait-free implementations of concurrent objects by relaxing their specifications. (Amélioration de complexité d'implémentations linéarisables et wait-free d'objets concurrents en relaxant leurs spécifications).		2023	RDF
20	Rob Claes, Elias Jarlebring, Karl Meerbergen, Parikshit Upadhyaya	Linearizable Eigenvector Nonlinearities.	SIAM J. Matrix Anal. Appl.	2022	DBLP DOI BibTeX RDF
20	Jacob Nelson-Slivon, Ahmed Hassan, Roberto Palmieri	Technical Report: Bundling Linked Data Structures for Linearizable Range Queries.	CoRR	2022	DBLP BibTeX RDF
20	Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001	Data-based Control of Feedback Linearizable Systems.	CoRR	2022	DBLP DOI BibTeX RDF
20	Mattia Cenedese, Joar Axås, Bastian Bäuerlein, Kerstin Avila, George Haller	Data-Driven Modeling and Prediction of Non-Linearizable Dynamics via Spectral Submanifolds.	CoRR	2022	DBLP BibTeX RDF
20	Mohammad Alsalti, Victor G. Lopez, Julian Berberich, Frank Allgöwer, Matthias A. Müller 0001	Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems.	CoRR	2022	DBLP DOI BibTeX RDF
20	Siddhartha Visveswara Jayanti	Generalized Wake-Up: Amortized Shared Memory Lower Bounds for Linearizable Data Structures.	CoRR	2022	DBLP DOI BibTeX RDF
20	HamidReza Zare, Viveck R. Cadambe, Bhuvan Urgaonkar, Nader Alfares, Praneet Soni, Chetan Sharma, Arif Merchant	LEGOStore: A Linearizable Geo-Distributed Store Combining Replication and Erasure Coding. (PDF / PS)	Proc. VLDB Endow.	2022	DBLP DOI BibTeX RDF
20	Chi Zhai, Chunxi Yang, Jing Na	Bifurcation Control on the Un-Linearizable Dynamic System via Washout Filters.	Sensors	2022	DBLP DOI BibTeX RDF
20	Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada	Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations.	ICRA	2022	DBLP DOI BibTeX RDF
20	Jennifer L. Welch	Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk).	DISC	2022	DBLP DOI BibTeX RDF
20	Hagit Attiya, Constantin Enea, Jennifer L. Welch	Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.	PODC	2022	DBLP DOI BibTeX RDF
20	Sophie Tarbouriech, Christophe Prieur 0001, Isabelle Queinnec, Luca Zaccarian, Germain Garcia	Control of Uncertain Nonlinear Fully Linearizable Systems.	HANDY	2022	DBLP DOI BibTeX RDF
20	C. Chaitali, J. Swapnil, Syed Shadab, S. R. Wagh, Navdeep M. Singh	Adaptive Control of Feedback Linearizable Systems with Finite-time Convergence.	ANZCC	2022	DBLP DOI BibTeX RDF
20	Jacob Nelson-Slivon, Ahmed Hassan, Roberto Palmieri	Bundling linked data structures for linearizable range queries.	PPoPP	2022	DBLP DOI BibTeX RDF
20	Xiao Liu, Zhao Huang, Quan Wang 0006, Nan Luo	An Optimized Key-Value Raft Algorithm for Satisfying Linearizable Consistency.	NaNA	2022	DBLP DOI BibTeX RDF
20	Valery I. Korobov	Almost linearizable control systems.	Math. Control. Signals Syst.	2021	DBLP DOI BibTeX RDF
20	Bapi Chatterjee, Ivan Walulya, Philippas Tsigas	Concurrent linearizable nearest neighbour search in LockFree-kD-tree.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Christian Berger 0006, Hans P. Reiser, Alysson Bessani	Making Reads in BFT State Machine Replication Fast, Linearizable, and Live.	CoRR	2021	DBLP BibTeX RDF
20	Hagit Attiya, Constantin Enea, Jennifer L. Welch	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.	CoRR	2021	DBLP BibTeX RDF
20	HamidReza Zare, Viveck R. Cadambe, Bhuvan Urgaonkar, Chetan Sharma, Praneet Soni, Nader Alfares, Arif Merchant	LEGOStore: A Linearizable Geo-Distributed Store Combining Replication and Erasure Coding.	CoRR	2021	DBLP BibTeX RDF
20	Hagit Attiya, Constantin Enea, Jennifer L. Welch	Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.	CoRR	2021	DBLP BibTeX RDF
20	Anderson Bento, Lucas Oliveira, Ignácio Rubio Scola, Valter J. S. Leite, Fernando A. C. Gomide	Evolving granular control with high-gain observers for feedback linearizable nonlinear systems.	Evol. Syst.	2021	DBLP DOI BibTeX RDF
20	Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada	Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations *.	CDC	2021	DBLP DOI BibTeX RDF
20	Hagit Attiya, Constantin Enea, Jennifer L. Welch	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.	DISC	2021	DBLP DOI BibTeX RDF
20	Eranda Çela, Bettina Klinz, Stefan Lendl, James B. Orlin, Gerhard J. Woeginger, Lasse Wulf	Linearizable Special Cases of the Quadratic Shortest Path Problem.	WG	2021	DBLP DOI BibTeX RDF
20	Steven Munsu Hwang, Philipp Woelfel	Strongly Linearizable Linked List and Queue.	OPODIS	2021	DBLP DOI BibTeX RDF
20	Barnabás Finta, Bálint Kiss	Mu-synthesis based cascaded robust controller design for exact linearizable dynamical systems.	MMAR	2021	DBLP DOI BibTeX RDF
20	Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri	Bundled references: an abstraction for highly-concurrent linearizable range queries.	PPoPP	2021	DBLP DOI BibTeX RDF
20	Christian Berger 0006, Hans P. Reiser, Alysson Bessani	Making Reads in BFT State Machine Replication Fast, Linearizable, and Live.	SRDS	2021	DBLP DOI BibTeX RDF
20	Cristiano Maria Verrelli	Comments on "Repetitive learning control for a class of partially linearizable uncertain nonlinear systems", [Automatica, 85 (2017) 397-404].	Autom.	2020	DBLP DOI BibTeX RDF
20	Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, Vijay Nagarajan	Hermes: a Fast, Fault-Tolerant and Linearizable Replication Protocol.	CoRR	2020	DBLP BibTeX RDF
20	Paulo Tabuada, Lucas Fraile	Data-driven Stabilization of SISO Feedback Linearizable Systems.	CoRR	2020	DBLP BibTeX RDF
20	Haosen Wen, Wentao Cai 0002, Mingzhe Du, Louis Jenkins, Benjamin Valpey, Michael L. Scott	Montage: A General System for Buffered Durably Linearizable Data Structures.	CoRR	2020	DBLP BibTeX RDF
20	Jacob Nelson 0002, Ahmed Hassan, Roberto Palmieri	Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries.	CoRR	2020	DBLP BibTeX RDF
20	Tyler Westenbroek, Eric Mazumdar, David Fridovich-Keil, Valmik Prabhu, Claire J. Tomlin, S. Shankar Sastry	Technical Report: Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.	CoRR	2020	DBLP BibTeX RDF
20	Tiago M. Vale, João Leitão 0001, Nuno M. Preguiça, Rodrigo Rodrigues 0001, Ricardo J. Dias, João M. Lourenço	Lazy State Determination: More concurrency for contending linearizable transactions.	CoRR	2020	DBLP BibTeX RDF
20	Madan Mohan Rayguru, Indra Narayan Kar	High Gain Observer-Based Saturated Controller for Feedback Linearizable System.	IEEE Trans. Circuits Syst. II Express Briefs	2020	DBLP DOI BibTeX RDF
20	David Fridovich-Keil, Vicenc Rubies-Royo, Claire J. Tomlin	An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics.	ICRA	2020	DBLP DOI BibTeX RDF
20	Kenneth F. Caluya, Abhishek Halder	Finite Horizon Density Steering for Multi-input State Feedback Linearizable Systems.	ACC	2020	DBLP DOI BibTeX RDF
20	Tianqi Zheng, John W. Simpson-Porco, Enrique Mallada	Implicit Trajectory Planning for Feedback Linearizable Systems: A Time-varying Optimization Approach.	ACC	2020	DBLP DOI BibTeX RDF
20	Tyler Westenbroek, Eric Mazumdar, David Fridovich-Keil, Valmik Prabhu, Claire J. Tomlin, S. Shankar Sastry	Adaptive Control for Linearizable Systems Using On-Policy Reinforcement Learning.	CDC	2020	DBLP DOI BibTeX RDF
20	Matthew Rodriguez, Michael F. Spear	Optimizing Linearizable Bulk Operations on Data Structures.	ICPP	2020	DBLP DOI BibTeX RDF
20	Marcin Nowicki, Witold Respondek	A Classification of Feedback Linearizable Mechanical Systems with 2 Degrees of Freedom.	KKA	2020	DBLP DOI BibTeX RDF
20	Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, Vijay Nagarajan	Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol.	ASPLOS	2020	DBLP DOI BibTeX RDF
20	Xiushan Cai, Jie Wu 0021, Xisheng Zhan 0001, Xian-He Zhang	Inverse optimal control for linearizable nonlinear systems with input delays.	Kybernetika	2019	DBLP DOI BibTeX RDF
20	Zongli Lin	A Further Result on Semi-global Stabilization of Minimum-Phase Input-Output Linearizable Nonlinear Systems by Linear Partial State Feedback.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
20	Andrea Zunino, Klaus Mosegaard	An efficient method to solve large linearizable inverse problems under Gaussian and separability assumptions.	Comput. Geosci.	2019	DBLP DOI BibTeX RDF
20	Wuxi Shi	Observer-based adaptive fuzzy prescribed performance control for feedback linearizable MIMO nonlinear systems with unknown control direction.	Neurocomputing	2019	DBLP DOI BibTeX RDF
20	David Fridovich-Keil, Vicenc Rubies-Royo, Claire J. Tomlin	An Iterative Quadratic Method for General-Sum Differential Games with Feedback Linearizable Dynamics.	CoRR	2019	DBLP BibTeX RDF
20	Tianqi Zheng, John W. Simpson-Porco, Enrique Mallada	Implicit Trajectory Planning for Feedback Linearizable Systems: A Time-varying Optimization Approach.	CoRR	2019	DBLP BibTeX RDF
20	Kenneth F. Caluya, Abhishek Halder	Finite Horizon Density Control for Static State Feedback Linearizable Systems.	CoRR	2019	DBLP BibTeX RDF
20	Kenneth F. Caluya, Abhishek Halder	Finite Horizon Density Steering for Multi-input State Feedback Linearizable Systems.	CoRR	2019	DBLP BibTeX RDF
20	Sean Ovens, Philipp Woelfel	Strongly Linearizable Implementations of Snapshots and Other Types.	CoRR	2019	DBLP BibTeX RDF
20	Jan Skrzypczak, Florian Schintke, Thorsten Schütt	Linearizable State Machine Replication of State-Based CRDTs without Logs.	CoRR	2019	DBLP BibTeX RDF
20	Paulo Tabuada, Lucas Fraile	A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation.	CoRR	2019	DBLP BibTeX RDF
20	Bapi Chatterjee, Sathya Peri, Muktikanta Sa, Nandini Singhal	A simple and practical concurrent non-blocking unbounded graph with linearizable reachability qeries.	ICDCN	2019	DBLP DOI BibTeX RDF
20	Paulo Tabuada, Lucas Fraile	Data-driven control for SISO feedback linearizable systems with unknown control gain.	CDC	2019	DBLP DOI BibTeX RDF
20	Jan Skrzypczak, Florian Schintke, Thorsten Schütt	Linearizable State Machine Replication of State-Based CRDTs without Logs.	PODC	2019	DBLP DOI BibTeX RDF
20	Sean Ovens, Philipp Woelfel	Strongly Linearizable Implementations of Snapshots and Other Types.	PODC	2019	DBLP DOI BibTeX RDF