Search results for "mutual-exclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Murali Parameswaran, Chittaranjan Hota	A novel permission-based reliable distributed mutual exclusion algorithm for MANETs.	WOCN	2010	DBLP DOI BibTeX RDF
21	Sung-Hoon Park, Yoon Kim, Jong-Ho Han, Jong-Sul Park	Quorum Based Mutual Exclusion in Asynchronous Systems with Unreliable Failure Detectors.	ITNG	2010	DBLP DOI BibTeX RDF
21	Hyonho Lee	Brief Announcement: Fast Local-Spin Abortable Mutual Exclusion with Bounded Space.	DISC	2010	DBLP DOI BibTeX RDF
21	Alexei Lisitsa 0001	Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
21	Radu Mateescu 0001, Wendelin Serwe	A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.	FMICS	2010	DBLP DOI BibTeX RDF
21	Hyonho Lee	Fast Local-Spin Abortable Mutual Exclusion with Bounded Space.	OPODIS	2010	DBLP DOI BibTeX RDF
21	Sung-Hoon Park, Dae-Hong Min, Jun-Sik Im, Jea-Yep Lee	Solving Mutual Exclusion Problem in Asynchronous Systems with Unreliable Failure Detectors.	PDPTA	2010	DBLP BibTeX RDF
21	Sagar A. Tamhane, Mohan Kumar	Token based algorithm for supporting mutual exclusion in opportunistic networks.	MobiOpp	2010	DBLP DOI BibTeX RDF
21	Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez	Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.	Discret. Event Dyn. Syst.	2009	DBLP DOI BibTeX RDF
21	Julien Sopena, Luciana Arantes, Fabrice Legond-Aubry, Pierre Sens 0001	Building effective mutual exclusion services for grids.	J. Supercomput.	2009	DBLP DOI BibTeX RDF
21	Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno	On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
21	Yixin Chen 0001, Ruoyun Huang, Zhao Xing, Weixiong Zhang	Long-distance mutual exclusion for planning.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
21	Sheng-Hsiung Chen, Ting-Lu Huang	Bounded-Bypass Mutual Exclusion with Minimum Number of Registers.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
21	Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu	Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
21	Frédéric Gardi	Mutual exclusion scheduling with interval graphs or related classes, Part I.	Discret. Appl. Math.	2009	DBLP DOI BibTeX RDF
21	Denvil Smith, Nian-Feng Tzeng	Proximity-Aware Distributed Mutual Exclusion for Effective Peer-to-Peer Replica Management.	NCA	2009	DBLP DOI BibTeX RDF	Distributed Sink Trees, Proximity-Aware, Fault Tolerance, Shortest Paths, Distributed Hash Tables, Peer-to-Peer Systems, Low Latency, Replica Management
21	Paolo Romano 0002, Luís E. T. Rodrigues	An Efficient Weak Mutual Exclusion Algorithm.	ISPDC	2009	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed Computing, Concurrent Programming
21	Arvind Easwaran, Björn Andersson	Scheduling Sporadic Tasks on Multiprocessors with Mutual Exclusion Constraints.	ICPP Workshops	2009	DBLP DOI BibTeX RDF
21	Mathieu Bouillaguet, Luciana Arantes, Luciana Sens	A Timer-Free Fault Tolerant K-Mutual Exclusion Algorithm.	LADC	2009	DBLP DOI BibTeX RDF
21	Aurélien Ortiz, François Thiébolt, Jacques Jorda, Abdelaziz Mzoughi	How to use multicast in distributed mutual exclusion algorithms for grid file systems.	HPCS	2009	DBLP DOI BibTeX RDF
21	Mitchell L. Neilsen	Model Checking Token-Based Distributed Mutual Exclusion Algorithms.	PDPTA	2009	DBLP BibTeX RDF
21	Gadi Taubenfeld	Concurrent Programming, Mutual Exclusion.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
21	Vinay Madenur, Neeraj Mittal	A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network.	J. Inf. Sci. Eng.	2008	DBLP BibTeX RDF
21	Pranay Chaudhuri, Thomas Edward	An algorithm for k-mutual exclusion in decentralized systems.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
21	Weigang Wu, Jiannong Cao 0001, Jin Yang 0005	A fault tolerant mutual exclusion algorithm for mobile ad hoc networks.	Pervasive Mob. Comput.	2008	DBLP DOI BibTeX RDF
21	Abdelouahid Derhab, Nadjib Badache	A distributed mutual exclusion algorithm over multi-routing protocol for mobile ad hoc networks.	Int. J. Parallel Emergent Distributed Syst.	2008	DBLP DOI BibTeX RDF
21	Frédéric Gardi	Mutual exclusion scheduling with interval graphs or related classes. Part II.	Discret. Appl. Math.	2008	DBLP DOI BibTeX RDF
21	Tara McIntosh, James R. Curran	Weighted Mutual Exclusion Bootstrapping for Domain Independent Lexicon and Template Acquisition.	ALTA	2008	DBLP BibTeX RDF
21	A. R. Bharath Kumar, Pradhan Bagur Umesh	An Improved Algorithm for Distributed Mutual Exclusion by Restricted Message Exchange in Voting Districts.	ICIT	2008	DBLP DOI BibTeX RDF
21	Mitchell L. Neilsen	Verification of Distributed Mutual Exclusion Algorithms.	PDCCS	2008	DBLP BibTeX RDF
21	Awadhesh Kumar Singh	A Randomized Approach to Bound Jayanti's Mutual Exclusion Algorithm.	ICETET	2008	DBLP DOI BibTeX RDF
21	Hagit Attiya, Danny Hendler, Philipp Woelfel	Tight RMR lower bounds for mutual exclusion and other problems.	PODC	2008	DBLP DOI BibTeX RDF
21	Pavel Surynek	Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network.	FLAIRS	2008	DBLP BibTeX RDF
21	James H. Anderson, Yong-Jik Kim	A generic local-spin fetch-and-phi-based mutual exclusion algorithm.	J. Parallel Distributed Comput.	2007	DBLP DOI BibTeX RDF
21	Neeraj Mittal, Prajwal K. Mohan	A priority-based distributed group mutual exclusion algorithm when group access is non-uniform.	J. Parallel Distributed Comput.	2007	DBLP DOI BibTeX RDF
21	Mohammad Ashiqur Rahman, Md. Mostofa Akbar	A Quorum Based Distributed Mutual Exclusion Algorithm for Multi-Level Clustered Network Architecture.	WALCOM	2007	DBLP BibTeX RDF
21	Tara Murphy, James R. Curran	Experiments in Mutual Exclusion Bootstrapping.	ALTA	2007	DBLP BibTeX RDF
21	Mitchell L. Neilsen	A generalized token-based mutual exclusion algorithm for wireless networks.	PDCS	2007	DBLP BibTeX RDF
21	Mohammad Moallemi, Mohammad Hossien Yaghmaee, Mahmoud Naghibzadeh	A Fault-Tolerant Mutual Exclusion Resource Reservation Protocol for Clustered Mobile Ad hoc Networks.	SNPD (2)	2007	DBLP DOI BibTeX RDF
21	Samuel Evain, Jean-Philippe Diguet	Efficient space-time noc path allocation based on mutual exclusion and pre-reservation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	guarantied traffic, path allocation, NOC, CAD tool
21	Jingsong Zhang, Mansur H. Samadzadeh	A Mutual Exclusion Algorithm Based on Request and Fair.	PDPTA	2007	DBLP BibTeX RDF
21	Sung-Hoon Park, Chun-Sik Cho	An Efficient Mutual Exclusion Protocol in a Mobile Computing Environment.	PDPTA	2007	DBLP BibTeX RDF
21	Yixin Chen 0001, Zhao Xing, Weixiong Zhang	Long-Distance Mutual Exclusion for Propositional Planning.	IJCAI	2007	DBLP BibTeX RDF
21	Michael Isard, Andrew Birrell	Automatic Mutual Exclusion.	HotOS	2007	DBLP BibTeX RDF
21	Jun Kiniwa, Masafumi Yamashita	A Randomized 1-latent, Time-adaptive and Safe Self-stabilizing Mutual Exclusion Protocol.	Parallel Process. Lett.	2006	DBLP DOI BibTeX RDF
21	Jun Kiniwa	Request-based token passing for self-stabilizing mutual exclusion.	Inf. Sci.	2006	DBLP DOI BibTeX RDF
21	Pranay Chaudhuri, Thomas Edward	An O(vn) Distributed Mutual Exclusion Algorithm Using Queue Migration.	J. Univers. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Martin Raußen	Deadlocks and dihomotopy in mutual exclusion models.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Marin Bertier, Luciana Bezerra Arantes, Pierre Sens 0001	Distributed mutual exclusion algorithms for grid applications: A hierarchical approach.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
21	Sheng-Hsiung Chen, Ting-Lu Huang	A tight bound on remote reference time complexity of mutual exclusion in the read-modify-write model.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
21	Guojing Cong, David A. Bader	Designing irregular parallel algorithms with mutual exclusion and lock-free protocols.	J. Parallel Distributed Comput.	2006	DBLP DOI BibTeX RDF
21	Christian Lavault	Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)	CoRR	2006	DBLP BibTeX RDF
21	F. Ahmad, Nicola Santoro, Amiya Nayak, Nishith Goel, Alok R. Patnaik, Alka Srivastava	Solving Distributed Mutual Exclusion using Cooperating Mobile Agents.	ACIS-ICIS	2006	DBLP DOI BibTeX RDF
21	Fouad B. Chedid	Cohorts for Group Mutual Exclusion.	CATA	2006	DBLP BibTeX RDF
21	Ramanuja Vedantham, Zhenyun Zhuang, Raghupathy Sivakumar	Mutual Exclusion in Wireless Sensor and Actor Networks.	SECON	2006	DBLP DOI BibTeX RDF
21	Ousmane Thiare, Mohamed Naimi	%Mohamed Naimi + H. Mohamed Naimi = identisch? A Quorum-Based Algorithm for Group Mutual Exclusion.	PDCS	2006	DBLP BibTeX RDF
21	Zied Achour, Nidhal Rezg	Time floating general mutual exclusion constraints in partial observable discrete event systems.	IRI	2006	DBLP DOI BibTeX RDF
21	Moharram Challenger, Peyman Bayat, Mohammad Reza Meybodi	A reliable optimization on distributed mutual exclusion algorithm.	TRIDENTCOM	2006	DBLP DOI BibTeX RDF
21	Ousmane Thiare, Abdelhak Mourad Guéroui, Mohamed Naimi	Distributed Groups Mutual Exclusion Based on Clients/Servers Model.	PDCAT	2006	DBLP DOI BibTeX RDF
21	Srdjan Petrovic	Space-efficient FCFS group mutual exclusion.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
21	K. Alagarsamy	A mutual exclusion algorithm with optimally bounded bypasses.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
21	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Petr Kouznetsov	Mutual exclusion in asynchronous systems with failure detectors.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
21	Yu Chen 0017, Jennifer L. Welch	Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
21	Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit, Vincent Villain	Group Mutual Exclusion in Token Rings.	Comput. J.	2005	DBLP DOI BibTeX RDF
21	Ali Khosrozadeh, Mohammad Khodaparasti, Mohsen Jahanshahi, Abolfazl Toroghi Haghighat	Solving Group Mutual Exclusion Problem using Backup-Quorums.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
21	Martin Raussen	Deadlocks and Dihomotopy in Mutual Exclusion Models.	Spatial Representation	2005	DBLP BibTeX RDF
21	Romain Mellier, Jean Frédéric Myoupo	An Implementation of an Energy-Saving Mutual Exclusion Protocol for Mobile Ad Hoc Networks.	ICWN	2005	DBLP BibTeX RDF
21	Neeraj Mittal, Prajwal K. Mohan	An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access.	IASTED PDCS	2005	DBLP BibTeX RDF
21	Weigang Wu, Jiannong Cao 0001, Jin Yang 0005	A scalable mutual exclusion algorithm for mobile ad hoc networks.	ICCCN	2005	DBLP DOI BibTeX RDF
21	Amit Chandak, Srinivasan Ramasubramanian	Dual-link failure resiliency through backup link mutual exclusion.	BROADNETS	2005	DBLP DOI BibTeX RDF
21	Carmel Domshlak, Solomon Eyal Shimony	Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence.	Int. J. Intell. Syst.	2004	DBLP DOI BibTeX RDF
21	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
21	Masataka Takamura, Yoshihide Igarashi	Highly Concurrent Group Mutual Exclusion Algorithms Based on Ticket Orders.	IEICE Trans. Inf. Syst.	2004	DBLP BibTeX RDF
21	Yoshifumi Manabe, Naka Tajima	(h, k)-Arbiters for h-out-of-k mutual exclusion problem.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
21	David M. Chan, J. E. Franke	Probabilities of extinction, weak extinction, permanence, and mutual exclusion in discrete, competitive, Lotka-Volterra systems that involve invading species.	Math. Comput. Model.	2004	DBLP DOI BibTeX RDF
21	Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil	Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.	Comput. J.	2004	DBLP DOI BibTeX RDF
21	Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil	Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings.	DISC	2004	DBLP DOI BibTeX RDF
21	Eisuke Yoshida, Hirotsugu Kakugawa	A Learning System for the Problem of Mutual Exclusion in Multithreaded Programming.	ICALT	2004	DBLP DOI BibTeX RDF
21	Hisham Al-Mubaid, Devdutt Mistry, Narayan C. Debnath	Method of Evaluation of Distributed and Token-based Mutual Exclusion Approaches.	IASSE	2004	DBLP BibTeX RDF
21	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
21	Lei You, D. Manivannan 0001	Performance of Three Distributed Mutual Exclusion Algorithms.	PDPTA	2004	DBLP BibTeX RDF
21	K. Alagarsamy	An Improved Algorithm for Mutual Exclusion in Concurrent and Parallel Systems.	PDPTA	2004	DBLP BibTeX RDF
21	Prem Chandra Saxena, Jagmohan Rai	A survey of permission-based distributed mutual exclusion algorithms.	Comput. Stand. Interfaces	2003	DBLP DOI BibTeX RDF
21	K. Alagarsamy	Some myths about famous mutual exclusion algorithms.	SIGACT News	2003	DBLP DOI BibTeX RDF
21	Klaus Jansen	The mutual exclusion scheduling problem for permutation and comparability graphs.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
21	Ahmed Housni, Michel Lacroix, Michel Tréhel	Using a Mobile Queue for Prioritized Requests in a New Mutual Exclusion Algorithm.	PDCS	2003	DBLP BibTeX RDF
21	Maria Pia Fanti, Alessandro Giua, Carla Seatzu	Generalized mutual exclusion constraints and monitors for colored Petri nets.	SMC	2003	DBLP DOI BibTeX RDF
21	Yoah Bar-David, Gadi Taubenfeld	Automatic discovery of mutual exclusion algorithms.	PODC	2003	DBLP DOI BibTeX RDF
21	Pranay Chaudhuri, Thomas Edward	A Token Based Self-Stabilizing Mutual Exclusion Algorithm.	PDPTA	2003	DBLP BibTeX RDF
21	Siba K. Udgata, Dang Van Hung	A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System.	PDPTA	2003	DBLP BibTeX RDF
21	Siba K. Udgata, Jay S. Bagga	A Cluster-Oriented Mutual Exclusion Algorithm for Mobile Ad Hoc Network.	PDPTA	2003	DBLP BibTeX RDF
21	Sankarapandian Vijayaraghavan	A Fair and Starvation Free Version of Lamport's Fast Mutual Exclusion Algorithm.	Applied Informatics	2003	DBLP BibTeX RDF
21	Carmel Domshlak, Solomon Eyal Shimony	Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence.	FLAIRS	2003	DBLP BibTeX RDF
21	Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.	Chic. J. Theor. Comput. Sci.	2002	DBLP BibTeX RDF
21	Krishna M. Kavi, Dinesh P. Mehta	Mutual Exclusion on Optical Buses.	Parallel Process. Lett.	2002	DBLP DOI BibTeX RDF
21	Mikhail Nesterenko, Masaaki Mizuno	A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
21	Yoshiaki Katayama, Eiichiro Ueda, Hideo Fujiwara, Toshimitsu Masuzawa	A Latency Optimal Superstabilizing Mutual Exclusion Protocol in Unidirectional Rings.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
21	Hirotsugu Kakugawa, Masafumi Yamashita	Uniform and Self-Stabilizing Fair Mutual Exclusion on Unidirectional Rings under Unfair Distributed Daemon.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
21	Shigeki Takekawa, Shin'ichi Wakabayashi, Tetsushi Koide	A coterie-based mutual exclusion algorithm for distributed systems allowing multiple process failures at arbitrary time.	Syst. Comput. Jpn.	2002	DBLP DOI BibTeX RDF
21	Jehn-Ruey Jiang	A Group Mutual Exclusion Algorithm for Ad Hoc Mobile Networks.	JCIS	2002	DBLP BibTeX RDF