Search results for "distributed mutual exclusion algorithm"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jiannong Cao, Jingyang Zhou, Daoxu Chen, Jie Wu	An Efficient Distributed Mutual Exclusion Algorithm Based on Relative Consensus Voting.	IPDPS	2004	DBLP DOI BibTeX RDF
2	Roberto Baldoni, Antonino Virgillito, Roberto Petrassi	A distributed mutual exclusion algorithm for mobile ad-hoc networks.	ISCC	2002	DBLP DOI BibTeX RDF	token-based algorithms, distributed mutual exclusion, distributed synchronization
2	Kazuhiro Ogata, Kokichi Futatsugi	Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm.	APAQS	2001	DBLP DOI BibTeX RDF	modeling, verification, distributed algorithms, specification, algebraic specification, UNITY, CafeOBJ
2	Vinaya Revannaswamy, P. C. P. Bhatt	A Fault Tolerant Protocol As an Extension to a Distributed Mutual Exclusion Algorithm. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	fault tolerance, distributed algorithms, Computer networks, mutual exclusion, critical section, network partitioning, token passing
2	T. V. Lakshman, Dipak Ghosal	Performance Evaluation of an Efficient Multiple Copy Update Algorithm.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	distributeddatabases, multiple copy update algorithm, Thomas majorityconsensus algorithm, response-time behavior, distributed update-synchronizationalgorithm, distributed mutual exclusion algorithm, multiple-copy update-synchronization, performance evaluation, performance evaluation, performance evaluation, transaction processing, queueing model
1	Hoda Taheri, Peyman Neamatollahi, Mahmoud Naghibzadeh	A hybrid token-based distributed mutual exclusion algorithm using wraparound two-dimensional array logical topology.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
1	Murali Parameswaran, Chittaranjan Hota	A novel permission-based reliable distributed mutual exclusion algorithm for MANETs.	WOCN	2010	DBLP DOI BibTeX RDF
1	Artur Boronat, Reiko Heckel, José Meseguer	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
1	Abdelouahid Derhab, Nadjib Badache	A distributed mutual exclusion algorithm over multi-routing protocol for mobile ad hoc networks.	IJPEDS	2008	DBLP DOI BibTeX RDF
1	Md. Abdur Razzaque, Choong Seon Hong	Multi-Token Distributed Mutual Exclusion Algorithm.	AINA	2008	DBLP DOI BibTeX RDF	Distributed Algorithm, Mutual Exclusion, Critical Section, Token Ring
1	Anup Kumar Bandyopadhyay	Weakest precondition based verification tool that models spatial ordering.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	spatial ordering, distributed systems, correctness, weakest precondition
1	Mohammad Ashiqur Rahman, Md. Mostofa Akbar	A Quorum Based Distributed Mutual Exclusion Algorithm for Multi-Level Clustered Network Architecture.	WALCOM	2007	DBLP BibTeX RDF
1	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
1	Alain Bui, Devan Sohier	Stabilization Time for Token Replications in Self-Stabilizing Random Walk Based Distributed Algorithms.	RIVF	2007	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Parameterized Verification of Infinite-State Processes with Global Conditions.	CAV	2007	DBLP DOI BibTeX RDF
1	Pranay Chaudhuri, Thomas Edward	An O(vn) Distributed Mutual Exclusion Algorithm Using Queue Migration.	J. UCS	2006	DBLP BibTeX RDF
1	P. Sukendar Reddy, Nityananda Sarma, Rajib Kumar Das	Enhancing Fault-Tolerance in a Distributed Mutual Exclusion Algorithm.	ICIT	2006	DBLP DOI BibTeX RDF
1	Moharram Challenger, Peyman Bayat, Mohammad Reza Meybodi	A reliable optimization on distributed mutual exclusion algorithm.	TRIDENTCOM	2006	DBLP BibTeX RDF
1	Christian Engelmann, Stephen L. Scott, Chokchai Leangsuksun, Xubin (Ben) He	Active/Active Replication for Highly Available HPC System Services.	ARES	2006	DBLP DOI BibTeX RDF
1	Hyungsoo Jung, Heon Young Yeom	A Practical Single-Register Wait-Free Mutual Exclusion Algorithm on Asynchronous Networks.	Euro-Par	2006	DBLP DOI BibTeX RDF
1	Cheng-Zen Yang	A token-based h-out of-k distributed mutual exclusion algorithm for mobile ad hoc networks.	ITRE	2005	DBLP DOI BibTeX RDF
1	Kazuhiro Ogata, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker.	APSEC	2005	DBLP DOI BibTeX RDF	lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
1	Kazuhiro Ogata, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers.	CIT	2005	DBLP DOI BibTeX RDF
1	Federico Meza, Jorge Pérez R., Yadran Eterovic	Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach.	ISSADS	2005	DBLP DOI BibTeX RDF	parallel programming, multithreading, concurrent programming, distributed shared memory, Distributed mutual exclusion
1	Sukhamay Kundu	Deadlock-Free Distributed Relaxed Mutual-Exclusion Without Revoke-Messages.	IWDC	2005	DBLP DOI BibTeX RDF
1	Romain Mellier, Jean Frédéric Myoupo, Vlady Ravelomanana	A Non-Token-Based-Distributed Mutual Exclusion Algorithm for Single-Hop Mobile Ad Hoc Networks.	MWCN	2004	DBLP DOI BibTeX RDF	Ad Hoc Mobile Networks, Wireless Networks, Mutual Exclusion
1	Alexander Kostin, Ljudmila Ilushechkina	Winsim: A Tool for Performance Evaluation of Parallel and Distributed Systems.	ADVIS	2004	DBLP DOI BibTeX RDF
1	Dan Liu, Xinsong Liu, Zhijie Qiu, Gongjun Yan	A High Efficiency Distributed Mutual Exclusion Algorithm.	APPT	2003	DBLP DOI BibTeX RDF	read/write clock stamp, self-stability, distributed mutual exclusion
1	Yang Wang 0006, Thomas Kunz	A Dynamic Assignment Problem in a Mobile System with Limited Bandwidth. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Mikhail Nesterenko, Masaaki Mizuno	A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.	J. Parallel Distrib. Comput.	2002	DBLP DOI BibTeX RDF
1	Kazuhiro Ogata, Kokichi Futatsugi	Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm.	FMOODS	2002	DBLP BibTeX RDF
1	Jiannong Cao, Xianbing Wang, Jie Wu	A Mobile Agent Enabled Fully Distributed Mutual Exclusion Algorithm.	Mobile Agents	2002	DBLP DOI BibTeX RDF
1	R. C. Hansdah, Nilanjan Gantait, Sandip Dey	A Fault-Tolerant Distributed Deadlock Detection Algorithm.	IWDC	2002	DBLP DOI BibTeX RDF
1	Ahmed Housni, Michel Tréhel, Mi-Soon Koo, Myong-Soon Park	A new distributed mutual exclusion algorithm for two groups.	SAC	2001	DBLP DOI BibTeX RDF
1	Sandeep Lodha, Ajay D. Kshemkalyani	A Fair Distributed Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion
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	Henrik Ejersbo Jensen, Nancy A. Lynch	A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction.	TACAS	1998	DBLP DOI BibTeX RDF
1	Ye-In Chang	A hybrid distributed mutual exclusion algorithm.	Journal of Systems Architecture	1996	DBLP DOI BibTeX RDF
1	Ye-In Chang	A hybrid distributed mutual exclusion algorithm.	Microprocessing and Microprogramming	1996	DBLP DOI BibTeX RDF
1	Mohamed Naimi, Michel Trehel, André Arnold	A Log(N) Distributed Mutual Exclusion Algorithm Based on Path Reversal.	J. Parallel Distrib. Comput.	1996	DBLP DOI BibTeX RDF
1	Niki Pissinou, Kia Makki, E. K. Park, Z. Hu, W. Wong	An Efficient Distributed Mutual Exclusion Algorithm.	ICPP, Vol. 1	1996	DBLP BibTeX RDF
1	Sujata Banerjee, Panos K. Chrysanthis	A New Token Passing Distributed Mutual Exclusion Algorithm.	ICDCS	1996	DBLP BibTeX RDF
1	Divyakant Agrawal, Amr El Abbadi	A Token-Based Fault-Tolerant Distributed Mutual Exclusion Algorithm.	J. Parallel Distrib. Comput.	1995	DBLP DOI BibTeX RDF
1	Jean-Michel Hélary, Achour Mostéfaoui	A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure.	ICDCS	1994	DBLP BibTeX RDF
1	Kia Makki, Niki Pissinou, Yelena Yesha	An O(sqr N) Token Based Distributed Mutual Exclusion Algorithm.	Informatica (Slovenia)	1993	DBLP BibTeX RDF
1	Ye-In Chang	Notes on Maekawa's O(sqrt N) Distributed Mutual Exclusion Algorithm.	SPDP	1993	DBLP BibTeX RDF
1	Sampath Rangarajan, Satish K. Tripathi	A Robust Distributed Mutual Exclusion Algorithm.	WDAG	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	Mitchell L. Neilsen, Masaaki Mizuno	A DAG-based algorithm for distributed mutual exclusion.	ICDCS	1991	DBLP DOI BibTeX RDF
1	T. V. Lakshman, Dipak Ghosal	Performance evaluation of an efficient multiple copy update algorithm.	SPDP	1991	DBLP DOI BibTeX RDF
1	José M. Bernabéu-Aubán, Mustaque Ahamad	Applying a Path-Compression technique to Obtain an Efficient Distributed Mutual Exclusion Algorithm.	WDAG	1989	DBLP DOI BibTeX RDF
1	Ichiro Suzuki, Tadao Kasami	A Distributed Mutual Exclusion Algorithm	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF