Search results for "mutual exclusion algorithms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	token-based distributed mutualexclusion algorithms, tree-based distributed mutual exclusion algorithms, permission-based mutual exclusion algorithms, rooted tree structure, informationstructure, topology requirements, distributed algorithms, distributed algorithms, topology, tree data structures, generic algorithm
3	Theodore Johnson	A performance comparison of fast distributed mutual exclusion algorithms. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	O(log n) messages, distributed virtual memory, computational complexity, distributed algorithms, distributed algorithms, software performance evaluation, performance comparison, distributed object systems, distributed synchronization, mutual exclusion algorithms, coherent caches
3	Marc-Michel Corsini, Alain Griffault, Antoine Rauzy	Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.	LPAR	1993	DBLP DOI BibTeX RDF	Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms
2	Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens	The Impact of Clustering on Token-Based Mutual Exclusion Algorithms.	Euro-Par	2008	DBLP DOI BibTeX RDF
2	Gal Katz, Doron Peled	Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.	ATVA	2008	DBLP DOI BibTeX RDF
2	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
2	Julien Sopena, Fabrice Legond-Aubry, Luciana Bezerra Arantes, Pierre Sens	A Composition Approach to Mutual Exclusion Algorithms for Grid Applications.	ICPP	2007	DBLP DOI BibTeX RDF	distributed mutual exclusion algorithm, performance evaluation, Grid
2	Hyonho Lee	Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model.	ICDCS	2005	DBLP DOI BibTeX RDF
2	Mahfoud Benchaïba, Abdelmadjid Bouabdallah, Nadjib Badache, Mohamed Ahmed-Nacer	Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	algorithm, mobile ad hoc network, mutual exclusion, critical section
2	Kayhan Erciyes	Cluster Based Distributed Mutual Exclusion Algorithms for Mobile Networks.	Euro-Par	2004	DBLP DOI BibTeX RDF
2	Marin Bertier, Luciana Bezerra Arantes, Pierre Sens	Hierarchical token based mutual exclusion algorithms.	CCGRID	2004	DBLP DOI BibTeX RDF
2	Kayhan Erciyes	Distributed Mutual Exclusion Algorithms on a Ring of Clusters.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Masataka Takamura, Yoshihide Igarashi	Group Mutual Exclusion Algorithms Based on Ticket Orders.	COCOON	2003	DBLP DOI BibTeX RDF
2	Yoshihide Igarashi, Yasuaki Nishitani	Speedup of Lockout-Free Mutual Exclusion Algorithms.	ISPAN	1999	DBLP DOI BibTeX RDF	lockout-freedom, distributed systems, shared memory, mutual exclusion, concurrent computation, asynchronous processes
2	Ting-Lu Huang	Fast Mutual Exclusion Algorithms Using Read-Modify-Write and Atomic Read/Write Registers. (PDF / PS)	ICPADS	1998	DBLP DOI BibTeX RDF
2	Shiwa S. Fu, Nian-Feng Tzeng, Zhiyuan Li	Empirical Evaluation of Distributed Mutual Exclusion Algorithms. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF
2	Mitchell Flatebo, Ajoy Kumar Datta	Two-State Self-Stabilizing Algorithms for Token Rings.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	two-state self-stabilizing algorithms, legal state, illegal state, infrequent errors, randomized central demon, asynchronous unidirectional ring, binary state machines, distributed system, reliability, distributed algorithms, distributed algorithms, fault tolerant computing, probability, local area networks, probabilistic algorithm, network connections, token rings, token networks, mutual exclusion algorithms
2	Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis	On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed quorum attainment protocols, unified analytical model, Majority Consensus algorithms, primary site approach, parallel version, tree-based mutual exclusion protocols, fault tolerance, performability, distributed systems, performance analysis, protocols, distributed algorithms, software performance evaluation, software fault tolerance, performability metric, network delay, unified framework, protocol performance, delay analysis, mutual exclusion algorithms
1	Peyman Neamatollahi, Hoda Taheri, Mahmoud Naghibzadeh	Info-based approach in distributed mutual exclusion algorithms.	J. Parallel Distrib. Comput.	2012	DBLP DOI BibTeX RDF
1	Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise	Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Thomas Moscibroda, Rotem Oshman	Resilience of mutual exclusion algorithms to transient memory faults.	PODC	2011	DBLP DOI BibTeX RDF
1	Danny Hendler, Philipp Woelfel	Adaptive randomized mutual exclusion in sub-logarithmic expected time.	PODC	2010	DBLP DOI BibTeX RDF	rmrs, adaptive, distributed algorithms, mutual exclusion, remote memory references
1	Sumit Gulwani	Dimensions in program synthesis.	PPDP	2010	DBLP DOI BibTeX RDF	deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference
1	Mitchell L. Neilsen	Model Checking Token-Based Distributed Mutual Exclusion Algorithms.	PDPTA	2009	DBLP BibTeX RDF
1	Michiko Inoue, Tsuyoshi Suzuki, Hideo Fujiwara	Brief Announcement: Acceleration by Contention for Shared Memory Mutual Exclusion Algorithms.	DISC	2009	DBLP DOI BibTeX RDF
1	Danny Hendler, Philipp Woelfel	Randomized mutual exclusion in O(log N / log log N) RMRs.	PODC	2009	DBLP DOI BibTeX RDF	remote memory references (RMRS), mutual exclusion
1	Mitchell L. Neilsen	Verification of Distributed Mutual Exclusion Algorithms.	ISCA PDCCS	2008	DBLP BibTeX RDF
1	Gurdip Singh, Ye Su	Efficient Synchronization in Message Passing Systems.	AINA	2008	DBLP DOI BibTeX RDF	Synchronization, Message passing, Mutual Exclusion
1	Vijay Anand Reddy, Prateek Mittal, Indranil Gupta	Fair K Mutual Exclusion Algorithm for Peer to Peer Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
1	Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry	Verification of a Hierarchical Generic Mutual Exclusion Algorithm.	FORTE	2008	DBLP DOI BibTeX RDF	model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets
1	Weigang Wu, Jiannong Cao, Michel Raynal	A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs.	MSN	2007	DBLP DOI BibTeX RDF	Token Loss, Mobile Computing, MANET, Distributed Algorithm, Mutual Exclusion
1	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
1	Romain Mellier, Jean Frédéric Myoupo	Fault tolerant mutual and k-mutual exclusion algorithms for single-hop mobile ad hoc networks.	IJAHUC	2006	DBLP DOI BibTeX RDF
1	Marin Bertier, Luciana Bezerra Arantes, Pierre Sens	Distributed mutual exclusion algorithms for grid applications: A hierarchical approach.	J. Parallel Distrib. Comput.	2006	DBLP DOI BibTeX RDF
1	Gadi Taubenfeld	Computing in the Presence of Timing Failures.	ICDCS	2006	DBLP DOI BibTeX RDF
1	Alexander Kostin, Ljudmila Ilushechkina, Erhan Basri	A Comparative Performance Study of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets.	ICA3PP	2005	DBLP DOI BibTeX RDF
1	Takashi Harada, Masafumi Yamashita	Transversal Merge Operation: A Nondominated Coterie Construction Method for Distributed Mutual Exclusion.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	grid structures, nondominatedness, distributed systems, Coteries, transversals, quorum consensus, mutual exclusion algorithms
1	Moosa Muhammad, Adeep S. Cheema, Indranil Gupta	Efficient mutual exclusion in peer-to-peer systems.	GRID	2005	DBLP DOI BibTeX RDF
1	Prasad Jayanti, Srdjan Petrovic, Neha Narula	Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion.	SOFSEM	2005	DBLP DOI BibTeX RDF
1	Masataka Takamura, Yoshihide Igarashi	Highly Concurrent Group Mutual Exclusion Algorithms Based on Ticket Orders.	IEICE Transactions	2004	DBLP BibTeX RDF
1	Kandarp Jani, Ajay D. Kshemkalyani	Performance of Fair Distributed Mutual Exclusion Algorithms.	IWDC	2004	DBLP DOI BibTeX RDF
1	Devdutt Mistry, Narayan C. Debnath, Hisham Al-Mubaid	A Comparative Analysis of Centralized, Voting - and Quorum-based Mutual Exclusion Algorithms.	IASSE	2004	DBLP BibTeX RDF
1	Lei You, D. Manivannan	Performance of Three Distributed Mutual Exclusion Algorithms.	PDPTA	2004	DBLP BibTeX RDF
1	Robert Danek, Vassos Hadzilacos	Local-Spin Group Mutual Exclusion Algorithms.	DISC	2004	DBLP DOI BibTeX RDF
1	Ravi Prakash, Roberto Baldoni	Causality and the Spatial-Temporal Ordering in Mobile Systems.	MONET	2004	DBLP DOI BibTeX RDF	spatial ordering, fairness, mobile networks, causality
1	K. Alagarsamy	Some myths about famous mutual exclusion algorithms.	SIGACT News	2003	DBLP DOI BibTeX RDF
1	P. C. Saxena, Jagmohan Rai	A survey of permission-based distributed mutual exclusion algorithms.	Computer Standards & Interfaces	2003	DBLP DOI BibTeX RDF
1	Yoah Bar-David, Gadi Taubenfeld	Automatic Discovery of Mutual Exclusion Algorithms.	DISC	2003	DBLP DOI BibTeX RDF
1	Yoah Bar-David, Gadi Taubenfeld	Automatic discovery of mutual exclusion algorithms.	PODC	2003	DBLP DOI BibTeX RDF
1	Prasad Jayanti	Adaptive and efficient abortable mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
1	Prasad Jayanti, Srdjan Petrovic, King Tan	Fair group mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
1	Yong-Jik Kim, James H. Anderson	Timing-Based Mutual Exclusion with Local Spinning.	DISC	2003	DBLP DOI BibTeX RDF
1	Koichi Takahashi, Masami Hagiya	Searching for Mutual Exclusion Algorithms Using BDDs.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
1	Masataka Takamura, Yoshihide Igarashi	Simple Mutual Exclusion Algorithms Based on Bounded Tickets on the Asynchronous Shared Memory Model.	COCOON	2002	DBLP DOI BibTeX RDF
1	Hirotsugu Kakugawa, Masafumi Yamashita	Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not Distinct.	SRDS	2002	DBLP DOI BibTeX RDF
1	James H. Anderson, Yong-Jik Kim	An improved lower bound for the time complexity of mutual exclusion.	Distributed Computing	2002	DBLP DOI BibTeX RDF	Lower bounds, Shared memory, Time complexity, Mutual exclusion, Atomicity, Local spinning
1	James H. Anderson, Yong-Jik Kim	An improved lower bound for the time complexity of mutual exclusion.	PODC	2001	DBLP DOI BibTeX RDF
1	Vassos Hadzilacos	A note on group mutual exclusion.	PODC	2001	DBLP DOI BibTeX RDF
1	Guohong Cao, Mukesh Singhal	A Delay-Optimal Quorum-Based Mutual Exclusion Algorithm for Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	fault tolerance, Quorum, distributed mutual exclusion, synchronization delay
1	Yu-Chen Kuo	Composite k-Arbiters.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	h-out-of-k mutual exclusion, permission-based algorithms, fault tolerance, Distributed systems, quorums
1	Prasad Jayanti, King Tan, Gregory Friedland, Amir Katz	Bounding Lamport's Bakery Algorithm.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Marie Duflot, Laurent Fribourg, Claudine Picaronny	Randomized Finite-State Distributed Algorithms as Markov Chains.	DISC	2001	DBLP DOI BibTeX RDF
1	Yong-Jik Kim, James H. Anderson	A Time Complexity Bound for Adaptive Mutual Exclusion.	DISC	2001	DBLP DOI BibTeX RDF
1	Shiwa S. Fu, Nian-Feng Tzeng, Jen-Yao Chung	Empirical Evaluation of Mutual Exclusion Algorithms for Distributed Systems.	J. Parallel Distrib. Comput.	2000	DBLP DOI BibTeX RDF
1	Hagit Attiya, Vita Bortnikov	Adaptive and efficient mutual exclusion (extended abstract).	PODC	2000	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil	Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF
1	Narsingh Deo, Ayman Abdalla	Computing a Diameter-Constrained Minimum Spanning Tree in Parallel.	CIAC	2000	DBLP DOI BibTeX RDF
1	Kia Makki, John Dell, Niki Pissinou, W. Melody Moh, Xiaohua Jia	Using Logical Rings to Solve the Distributed Mutual Exclusion Problem with Fault Tolerance Issues.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	distributed systems, distributed algorithms, communication networks, critical section, distributed mutual exclusion
1	K. Alagarsamy, K. Vidyasankar	Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract).	DISC	1999	DBLP DOI BibTeX RDF
1	Ting-Lu Huang	Fast and Fair Mutual Exclusion for Shared Memory Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	atomic instructions memory contention, concurrency, multiprocessors, fairness, mutual exclusion
1	P. C. Saxena, Sangita Gupta	A performance comparison of token- and tree-based mutual exclusion algorithms on Chordal Rings.	J. Network and Computer Applications	1998	DBLP DOI BibTeX RDF
1	Guohong Cao, Mukesh Singhal, Yi Deng, Naphtali Rishe, Wei Sun 0002	A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability.	ICDCS	1998	DBLP DOI BibTeX RDF	fault-tolerance, Quorum, distributed mutual exclusion, synchronization delay
1	Yu-Chen Kuo, Shing-Tsaan Huang	A Geometric Approach for Constructing Coteries and k-Coteries.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	quorum set, fault-tolerance, distributed algorithm, mutual exclusion, critical section, Coterie
1	Masaaki Mizuno, Mikhail Nesterenko, Hirotsugu Kakugawa	Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.	ICDCS	1996	DBLP BibTeX RDF
1	Garrison W. Greenwood	On the Equity of Mutual Exclusion Algorithms in Distributed Systems.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
1	Sampath Rangarajan, Sanjeev Setia, Satish K. Tripathi	A Fault-Tolerant Algorithm for Replicated Data Management.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	message overhead, fault-tolerance, mutual exclusion, resiliency, replicated data, Quorum consensus
1	Ye-In Chang	Design of Mutual Exclusion Algorithms for Real-Time Distributed Systems.	J. Inf. Sci. Eng.	1994	DBLP BibTeX RDF
1	Rance Cleaveland, Joachim Parrow, Bernhard Steffen	The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrency, process algebra, automatic verification, finite-state systems
1	Eyal Kushilevitz, Michael O. Rabin	Randomized Mutual Exclusion Algorithms Revisited.	PODC	1992	DBLP DOI BibTeX RDF
1	Michel Raynal	A Simple Taxonomy for Distributed Mutual Exclusion Algorithms.	Operating Systems Review	1991	DBLP DOI BibTeX RDF
1	Masaaki Mizuno, Mitchell L. Neilsen, R. Rao	A token based distributed mutual exclusion algorithm based on quorum agreements.	ICDCS	1991	DBLP DOI BibTeX RDF
1	Sampath Rangarajan, Satish K. Tripathi	A Robust Distributed Mutual Exclusion Algorithm.	WDAG	1991	DBLP DOI BibTeX RDF
1	Shivakant Mishra, Pradip K. Srimani	Fault-tolerant mutual exclusion algorithms.	Journal of Systems and Software	1990	DBLP DOI BibTeX RDF
1	Pradip K. Srimani, Shivakant Mishra	Performance evaluation of distributed mutual exclusion algorithms for computer networks.	Comput. Syst. Sci. Eng.	1990	DBLP BibTeX RDF
1	Micha Hofri	Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.	Operating Systems Review	1990	DBLP DOI BibTeX RDF
1	Leslie Lamport	Concurrent Reading and Writing of Clocks.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	nonatomic operations, synchronization, concurrent programming
1	K. V. S. Ramarao, K. Brahmadathan	Divide and Conquer for Distributed Mutual Exclusion.	SPDP	1990	DBLP DOI BibTeX RDF
1	D. J. Walker	Automated Analysis of Mutual Exclusion Algorithms using CCS.	Formal Asp. Comput.	1989	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Joachim Parrow, Bernhard Steffen	The Concurrency Workbench.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
1	Beverly A. Sanders	The Information Structure of Distributed Mutual Exclusion Algorithms.	ACM Trans. Comput. Syst.	1987	DBLP DOI BibTeX RDF
1	Alain Dupuis, Gérard Hébuterne, Jean-Marc Pitie	A comparison of two mutual-exclusion algorithms for computer networks.	Journal of Systems and Software	1986	DBLP DOI BibTeX RDF
1	I. Suzuki, T. Kasami	An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks.	ICDCS	1982	DBLP BibTeX RDF