Search results for "Linearizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Oleg Travkin, Heike Wehrheim	Handling TSO in Mechanized Linearizability Proofs.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
20	John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol	Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
20	Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001, Shao Jie Zhang, Jin Song Dong	Verifying Linearizability via Optimized Refinement Checking.	IEEE Trans. Software Eng.	2013	DBLP DOI BibTeX RDF
20	Alexey Gotsman, Hongseok Yang	Linearizability with Ownership Transfer.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Xingwu Chen, Wentao Huang, Valery G. Romanovski, Weinian Zhang	Linearizability and local bifurcation of critical periods in a cubic Kolmogorov system.	J. Comput. Appl. Math.	2013	DBLP DOI BibTeX RDF
20	Cezara Dragoi, Ashutosh Gupta 0001, Thomas A. Henzinger	Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.	CAV	2013	DBLP DOI BibTeX RDF
20	Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang	Verifying a Quantitative Relaxation of Linearizability via Refinement.	SPIN	2013	DBLP DOI BibTeX RDF
20	Sagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani	Asynchronous Resilient Linearizability.	DISC	2013	DBLP DOI BibTeX RDF
20	Hongjin Liang 0001, Xinyu Feng 0001	Modular verification of linearizability with non-fixed linearization points.	PLDI	2013	DBLP DOI BibTeX RDF
20	Oleg Travkin, Annika Mütze, Heike Wehrheim	SPIN as a Linearizability Checker under Weak Memory Models.	Haifa Verification Conference	2013	DBLP DOI BibTeX RDF
20	Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis	Aspect-Oriented Linearizability Proofs.	CONCUR	2013	DBLP DOI BibTeX RDF
20	Lu Zhang 0035, Arijit Chattopadhyay, Chao Wang 0001	Round-up: Runtime checking quasi linearizability of concurrent data structures.	ASE	2013	DBLP DOI BibTeX RDF
20	Waleed Aziz, Colin Christopher	Local integrability and linearizability of three-dimensional Lotka-Volterra systems.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
20	Hong-Gi Lee, Jin-Man Hong	Discrete-Time Observer Error Linearizability via Restricted Dynamic Systems.	IEEE Trans. Autom. Control.	2012	DBLP DOI BibTeX RDF
20	Yusen Wu, Cui Zhang, Luju Liu	Linearizability Problem of Resonant Degenerate Singular Point for Polynomial Differential Systems.	J. Appl. Math.	2012	DBLP DOI BibTeX RDF
20	Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn	Proving Linearizability of Multiset with Local Proof Obligations.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
20	Bengt Jonsson 0001	Using refinement calculus techniques to prove linearizability.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
20	Oualid Hammi, Sung-Chan Jung, Fadhel M. Ghannouchi	Design for linearizability of GaN based multi-carrier Doherty power amplifier through bias optimization.	ICECS	2012	DBLP DOI BibTeX RDF
20	Rachid Guerraoui, Viktor Kuncak, Giuliano Losa	Speculative linearizability.	PLDI	2012	DBLP DOI BibTeX RDF
20	Alexey Gotsman, Hongseok Yang	Linearizability with Ownership Transfer.	CONCUR	2012	DBLP DOI BibTeX RDF
20	Jaume Giné, Zhibek Kadyrsizova, Yirong Liu, Valery G. Romanovski	Linearizability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF
20	Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif	Proving linearizability with temporal logic.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
20	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanically verified proof obligations for linearizability.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
20	Shao Jie Zhang	Scalable automatic linearizability checking.	ICSE	2011	DBLP DOI BibTeX RDF
20	Kristijan Dragicevic	An execution trace verification method on linearizability.		2011	RDF
20	Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur	Model Checking of Linearizability of Concurrent List Implementations.	CAV	2010	DBLP DOI BibTeX RDF
20	Viktor Vafeiadis	Automatically Proving Linearizability.	CAV	2010	DBLP DOI BibTeX RDF
20	Yehuda Afek, Guy Korland, Eitan Yanovsky	Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.	DISC	2010	DBLP DOI BibTeX RDF
20	Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran	Simplifying Linearizability Proofs with Reduction and Abstraction.	TACAS	2010	DBLP DOI BibTeX RDF
20	Yehuda Afek, Guy Korland, Eitan Yanovsky	Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.	OPODIS	2010	DBLP DOI BibTeX RDF
20	Viktor Vafeiadis	Shape-Value Abstraction for Verifying Linearizability.	VMCAI	2009	DBLP DOI BibTeX RDF
20	Maurice Herlihy	Linearizability.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
20	Issa Amadou Tall, Witold Respondek	On linearizability of strict feedforward systems.	ACC	2008	DBLP DOI BibTeX RDF
20	Witold Respondek, Issa Amadou Tall	Feedback linearizability of strict feedforward systems.	CDC	2008	DBLP DOI BibTeX RDF
20	Diana Dolicanin, Gradimir V. Milovanovic, Valery G. Romanovski	Linearizability conditions for a cubic system.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
20	Jörg Hähner, Christian Becker 0001, Pedro José Marrón, Kurt Rothermel	Maintaining update-linearizability for replicated information in MANETs.	COMSWARE	2006	DBLP DOI BibTeX RDF
20	Costas Busch, Marios Mavronicolas, Paul G. Spirakis	An Application of the Monotone Linearizability Lemma.	Bull. EATCS	2005	DBLP BibTeX RDF
20	Miroslav Krstic	Feedback linearizability and explicit integrator forwarding controllers for classes of feedforward systems.	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
20	Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho	Generalization of ZYT-linearizability for bilinear datalog programs.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
20	Jörg Hähner, Kurt Rothermel, Christian Becker 0001	Update-linearizability: a consistency concept for the chronological ordering of events in MANETs.	MASS	2004	DBLP DOI BibTeX RDF
20	Bernadette Charron-Bost, Robert Cori	A Note on Linearizability and the Global Time Axiom.	Parallel Process. Lett.	2003	DBLP DOI BibTeX RDF
20	Martin Guay	On the linearizability of nonisothermal continuous stirred-tank reactors.	Autom.	2002	DBLP DOI BibTeX RDF
20	Michel Raynal	Sequential Consistency as Lazy Linearizability.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
20	Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou	Timing Conditions for Linearizability in Uniform Counting Networks.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
20	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
20	Gil Neiger	Set-Linearizability.	PODC	1994	DBLP DOI BibTeX RDF
20	Hagit Attiya, Jennifer L. Welch	Sequential Consistency Versus Linearizability (Extended Abstract).	SPAA	1991	DBLP DOI BibTeX RDF
16	David Dice, Oleksandr Otenko	Brief announcement: multilane - a concurrent blocking multiset.	SPAA	2011	DBLP DOI BibTeX RDF
16	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine	Heap Decomposition for Concurrent Shape Analysis.	SAS	2008	DBLP DOI BibTeX RDF
16	Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz	Attested append-only memory: making adversaries stick to their word.	SOSP	2007	DBLP DOI BibTeX RDF	attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance
16	Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
16	Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Reconfigurable Distributed Storage for Dynamic Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	atomic objects, performance, Distributed algorithms, reconfiguration
16	Michel Raynal, Matthieu Roy, Ciprian Tutu	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.	AINA	2005	DBLP DOI BibTeX RDF
16	Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter	Efficient Byzantine-Tolerant Erasure-Coded Storage.	DSN	2004	DBLP DOI BibTeX RDF
16	William N. Scherer III, Michael L. Scott	Nonblocking Concurrent Data Structures with Condition Synchronization.	DISC	2004	DBLP DOI BibTeX RDF
16	Charles P. Fry, Michael K. Reiter	Nested Objects in a Byzantine Quorum-Replicated System.	SRDS	2004	DBLP DOI BibTeX RDF	Fault tolerance, Distributed systems, Replication, Byzantine failures, Quorum systems
16	Roman Vitenberg, Roy Friedman	On the Locality of Consistency Conditions.	DISC	2003	DBLP DOI BibTeX RDF
16	Maria Gradinariu	Normality versus system mobility.	ICPADS	2002	DBLP DOI BibTeX RDF
16	Damián Arregui, François Pacull, Michel Riviere	Heterogeneous Component Coordination: The CLF Approach.	EDOC	2000	DBLP DOI BibTeX RDF	heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans
16	Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki	On Transformations into Linear Database Logic Programs.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Datalog programs, program transformations, deductive databases, program optimization
16	Rachid Guerraoui, André Schiper	Fault-Tolerance by Replication in Distributed Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF
16	Tomás Feder, Yatin P. Saraiya	Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.	ICDT	1992	DBLP DOI BibTeX RDF
16	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
16	Kurt-Ulrich Witt	On Linearizing Graphs.	WG	1980	DBLP DOI BibTeX RDF