Search results for "mutual-exclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Danny Hendler	Mellor-Crummey and Scott Mutual Exclusion Algorithm.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
21	Gadi Taubenfeld	Concurrent Programming, Mutual Exclusion.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
21	Peter A. Buhr, David Dice, Wim H. Hesselink	Dekker's mutual exclusion algorithm made RW-safe.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
21	Yunkai Du, Naijie Gu, Xin Zhou 0003	Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
21	Marcin Bienkowski, Marek Klonowski, Miroslaw Korzeniowski, Dariusz R. Kowalski	Randomized mutual exclusion on a multiple access channel.	Distributed Comput.	2016	DBLP DOI BibTeX RDF
21	Ziyue Ma, Zhiwu Li 0001, Alessandro Giua	Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.	Autom.	2016	DBLP DOI BibTeX RDF
21	Yuan He 0003, Krishnan Gopalakrishnan, Eli Gafni	Group mutual exclusion in linear time and space.	ICDCN	2016	DBLP DOI BibTeX RDF
21	Ludwik Czaja	A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps.	CS&P	2016	DBLP BibTeX RDF
21	Chien-Chung Huang, Prasad Jayanti	Priority Mutual Exclusion: Specification and Algorithm.	DISC	2016	DBLP DOI BibTeX RDF
21	Wojciech M. Golab, Aditya Ramaraju	Recoverable Mutual Exclusion: [Extended Abstract].	PODC	2016	DBLP DOI BibTeX RDF
21	Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella	Model Checking Mutual Exclusion Algorithms Using Uppaal.	CSOC (2)	2016	DBLP DOI BibTeX RDF
21	Xiaojun Ji, Lihua Song	Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL.	TSA	2016	DBLP DOI BibTeX RDF
21	Pedro Ramalhete, Andreia Correia	Tidex: a mutual exclusion lock.	PPoPP	2016	DBLP DOI BibTeX RDF
21	Franco Cicirelli, Libero Nigro	Modelling and Verification of Mutual Exclusion Algorithms.	DS-RT	2016	DBLP DOI BibTeX RDF
21	Peter A. Buhr, David Dice, Wim H. Hesselink	High-performance N-thread software solutions for mutual exclusion.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
21	Ievgen Ivanov, Mykola S. Nikitchenko, Uri Abraham	Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm.	Formaliz. Math.	2015	DBLP DOI BibTeX RDF
21	Ziyue Ma, ZhiWu Li 0001, Alessandro Giua	Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
21	Weigang Wu, Jiebin Zhang, Aoxue Luo, Jiannong Cao 0001	Distributed Mutual Exclusion Algorithms for Intersection Traffic Control.	IEEE Trans. Parallel Distributed Syst.	2015	DBLP DOI BibTeX RDF
21	Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens 0001	A fair starvation-free prioritized mutual exclusion algorithm for distributed systems.	J. Parallel Distributed Comput.	2015	DBLP DOI BibTeX RDF
21	Wim H. Hesselink	Mutual exclusion by four shared bits with not more than quadratic complexity.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
21	Franco Cicirelli, Libero Nigro	Modelling and verification of starvation-free mutual exclusion algorithms based on weak semaphores.	FedCSIS	2015	DBLP DOI BibTeX RDF
21	Yang Zhang 0014, Leandro S. Heck, Matheus T. Moreira, David Zar, Melvin A. Breuer, Ney Laert Vilar Calazans, Peter A. Beerel	Design and Analysis of Testable Mutual Exclusion Elements.	ASYNC	2015	DBLP DOI BibTeX RDF
21	Sukhendu Kanrar, Samiran Chattopadhyay, Nabendu Chaki	A New Hybrid Mutual Exclusion Algorithm in the Absence of Majority Consensus.	ACSS (1)	2015	DBLP DOI BibTeX RDF
21	Yunkai Du, Naijie Gu	Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.	CANDAR	2015	DBLP DOI BibTeX RDF
21	Yoram Moses, Katia Patkin	Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority.	SIROCCO	2015	DBLP DOI BibTeX RDF
21	Thomas A. Forsberg, Merlijn Sevenster, Szymon Bieganski, Puran Bhagat, Melvin Kanasseril, Yugang Jia, Kirk Spencer	Automated mutual exclusion rules discovery for structured observational codes in echocardiography reporting.	AMIA	2015	DBLP BibTeX RDF
21	Ashish Khanna, Awadhesh Kumar Singh, Abhishek Swaroop	A Leader-Based k-Local Mutual Exclusion Algorithm Using Token for MANETs.	J. Inf. Sci. Eng.	2014	DBLP BibTeX RDF
21	Sung-Hoon Park, Seon-Hyong Lee	Quorum-based mutual exclusion in asynchronous distributed systems with unreliable failure detectors.	J. Supercomput.	2014	DBLP DOI BibTeX RDF
21	Yuan He 0003, Krishnan Gopalakrishnan	Group Mutual Exclusion in Linear Time and Space.	CoRR	2014	DBLP BibTeX RDF
21	Libertad Caicedo Acosta, Camilo Andrés Ospina Acosta, Nancy Yaneth Gelvez García, Oswaldo Alberto Romero Villalobos	Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD - FreeBSD.	Int. J. Interact. Multim. Artif. Intell.	2014	DBLP DOI BibTeX RDF
21	Bharti Sharma, Ravinder Singh Bhatia, Awadhesh Kumar Singh	A Token Based Protocol for Mutual Exclusion in Mobile Ad Hoc Networks.	J. Inf. Process. Syst.	2014	DBLP DOI BibTeX RDF
21	George Giakkoupis, Philipp Woelfel	Randomized Mutual Exclusion with Constant Amortized RMR Complexity on the DSM.	FOCS	2014	DBLP DOI BibTeX RDF
21	Junxing Wang, Zhengyu Wang	Mutual Exclusion Algorithms in the Shared Queue Model.	ICDCN	2014	DBLP DOI BibTeX RDF
21	Wim H. Hesselink	Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos.	Acta Informatica	2013	DBLP DOI BibTeX RDF
21	Alex A. Aravind	Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms.	J. Parallel Distributed Comput.	2013	DBLP DOI BibTeX RDF
21	Sukhendu Kanrar, Samiran Chattopadhyay, Nabendu Chaki	A New Link Failure Resilient Priority Based Fair Mutual Exclusion Algorithm for Distributed Systems.	J. Netw. Syst. Manag.	2013	DBLP DOI BibTeX RDF
21	Swan Dubois, Rachid Guerraoui	Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion	CoRR	2013	DBLP BibTeX RDF
21	Wojciech M. Golab	Deconstructing Queue-Based Mutual Exclusion.	CoRR	2013	DBLP BibTeX RDF
21	Mohamed Naimi, Ousmane Thiare	A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion.	CoRR	2013	DBLP BibTeX RDF
21	Faraneh Zarafshan, Abbas Karimi, Syed Abdul Rahman Al-Haddad, M. Iqbal Saripan, Shamala Subramaniam	Ancestral Dynamic Voting Algorithm for Mutual Exclusion in Partitioned Distributed Systems.	Int. J. Distributed Sens. Networks	2013	DBLP DOI BibTeX RDF
21	Radu Mateescu 0001, Wendelin Serwe	Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
21	Wim H. Hesselink, Mark IJbema	Starvation-free mutual exclusion with semaphores.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
21	Luiz A. Rodrigues, Jaime Cohen, Luciana Arantes, Elias P. Duarte Jr.	A Robust Permission-Based Hierarchical Distributed k-Mutual Exclusion Algorithm.	ISPDC	2013	DBLP DOI BibTeX RDF
21	Huayu Wu 0001, Ruiming Tang, Tok Wang Ling	Querying Semi-structured Data with Mutual Exclusion.	DASFAA (1)	2013	DBLP DOI BibTeX RDF
21	Swan Dubois, Rachid Guerraoui	Introducing speculation in self-stabilization: an application to mutual exclusion.	PODC	2013	DBLP DOI BibTeX RDF
21	Hagit Attiya, Danny Hendler, Smadar Levy	An O(1)-barriers optimal RMRs mutual exclusion algorithm: extended abstract.	PODC	2013	DBLP DOI BibTeX RDF
21	Ludovic Apvrille, Pierre de Saqui-Sannes	Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.	SDL Forum	2013	DBLP DOI BibTeX RDF
21	Aoxueluo, Weigang Wu, Jiannong Cao 0001, Michel Raynal	A Generalized Mutual Exclusion Problem and Its Algorithm.	ICPP	2013	DBLP DOI BibTeX RDF
21	Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens 0001	A Prioritized Distributed Mutual Exclusion Algorithm Balancing Priority Inversions and Response Time.	ICPP	2013	DBLP DOI BibTeX RDF
21	Ziyue Ma, Zhiwu Li 0001, Alessandro Giua	Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.	ETFA	2013	DBLP DOI BibTeX RDF
21	Murali Parameswaran, Chittaranjan Hota	Arbitration-based reliable distributed mutual exclusion for Mobile Ad-hoc Networks. (PDF / PS)	WiOpt	2013	DBLP BibTeX RDF
21	Yong-Jik Kim, James H. Anderson	A time complexity lower bound for adaptive mutual exclusion.	Distributed Comput.	2012	DBLP DOI BibTeX RDF
21	Sagar A. Tamhane, Mohan Kumar	A token based distributed algorithm for supporting mutual exclusion in opportunistic networks.	Pervasive Mob. Comput.	2012	DBLP DOI BibTeX RDF
21	Anup Kumar Bandyopadhyay	Application of TLRO to refute an incorrect mutual exclusion algorithm.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
21	Peyman Neamatollahi, Hoda Taheri, Mahmoud Naghibzadeh	Info-based approach in distributed mutual exclusion algorithms.	J. Parallel Distributed Comput.	2012	DBLP DOI BibTeX RDF
21	Abhijeet Pareek, Philipp Woelfel	RMR-Efficient Randomized Abortable Mutual Exclusion	CoRR	2012	DBLP BibTeX RDF
21	Mohammad Ashiqur Rahman, Mohammad Mostofa Akbar	A Permission based Multilevel Parallel Solution for Distributed Mutual Exclusion.	J. Comput.	2012	DBLP BibTeX RDF
21	Sung-Hoon Park, Yeong-Mok Kim	Mutual Exclusion Algorithm in Mobile Cellular Networks.	ICITCS	2012	DBLP DOI BibTeX RDF
21	Marco Antonio Dantas Ramos, Raimundo José de Araújo Macêdo, Anne Blagojevic	An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems.	SBESC	2012	DBLP DOI BibTeX RDF
21	JongBeom Lim, Kwang-Sik Chung, Sung-Ho Chin, Heon-Chang Yu	A Gossip-Based Mutual Exclusion Algorithm for Cloud Environments.	GPC	2012	DBLP DOI BibTeX RDF
21	Sung-Hoon Park, Seoun-Hyung Lee	A Design of Mutual Exclusion Protocol in Cellular Wireless Networks.	ITNG	2012	DBLP DOI BibTeX RDF
21	Abhijeet Pareek, Philipp Woelfel	RMR-Efficient Randomized Abortable Mutual Exclusion - (Extended Abstract).	DISC	2012	DBLP DOI BibTeX RDF
21	Ghazale Hosseinabadi, Nitin H. Vaidya	Exploiting Opportunistic Overhearing to Improve Performance of Mutual Exclusion in Wireless Ad Hoc Networks.	WWIC	2012	DBLP DOI BibTeX RDF
21	Jael Kriener, Andy King	Mutual Exclusion by Interpolation.	FLOPS	2012	DBLP DOI BibTeX RDF
21	Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens 0001	Service Level Agreement for Distributed Mutual Exclusion in Cloud Computing.	CCGRID	2012	DBLP DOI BibTeX RDF
21	George Giakkoupis, Philipp Woelfel	Brief announcement: a tight RMR lower bound for randomized mutual exclusion.	PODC	2012	DBLP DOI BibTeX RDF
21	Sumeet Gujrati, Gurdip Singh	Mutual Exclusion in Cyber-physical Systems.	SENSORNETS	2012	DBLP BibTeX RDF
21	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
21	Ousmane Thiare	A Token-Based Group Mutual Exclusion Algorithm for MANETs.	FGIT-FGCN/DCA	2012	DBLP DOI BibTeX RDF
21	Nikhil Bansal 0001, Vibhor Bhatt, Prasad Jayanti, Ranganath Kondapally	Tight time-space tradeoff for mutual exclusion.	STOC	2012	DBLP DOI BibTeX RDF
21	George Giakkoupis, Philipp Woelfel	A tight RMR lower bound for randomized mutual exclusion.	STOC	2012	DBLP DOI BibTeX RDF
21	Sung-Hoon Park, Seoun-Hyung Lee	Token-Based Mutual Exclusion Algorithm in Mobile Cellular Networks.	AINA Workshops	2012	DBLP DOI BibTeX RDF
21	Gefei Zhang	Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines.	ECMFA	2012	DBLP DOI BibTeX RDF
21	Hyonho Lee	Local-spin Abortable Mutual Exclusion.		2012	RDF
21		Mutual Exclusion.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
21	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
21	Danny Hendler, Philipp Woelfel	Randomized mutual exclusion with sub-logarithmic RMR-complexity.	Distributed Comput.	2011	DBLP DOI BibTeX RDF
21	Wim H. Hesselink	Partial mutual exclusion for infinitely many processes	CoRR	2011	DBLP BibTeX RDF
21	Sushanta Karmakar, Arobinda Gupta	Adaptive Distributed Mutual Exclusion by Dynamic Topology Switching.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
21	Wim H. Hesselink, Alex A. Aravind	Queue based mutual exclusion with linearly bounded overtaking.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
21	Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard	Semantics of transactional memory and automatic mutual exclusion.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
21	Paulo Floriano, Alfredo Goldman, Luciana Arantes	Formalization of the Necessary and Sufficient Connectivity Conditions to the Distributed Mutual Exclusion Problem in Dynamic Networks.	NCA	2011	DBLP DOI BibTeX RDF
21	ShouGuang Wang, Chengying Wang, MengChu Zhou	A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions.	ICRA	2011	DBLP DOI BibTeX RDF
21	Nabil Imam, Rajit Manohar	Address-Event Communication Using Token-Ring Mutual Exclusion.	ASYNC	2011	DBLP DOI BibTeX RDF
21	Michael A. Bender, Seth Gilbert	Mutual Exclusion with O(log^2 Log n) Amortized Work.	FOCS	2011	DBLP DOI BibTeX RDF
21	Sigrid Schefer, Mark Strembeck, Jan Mendling, Anne Baumgrass	Detecting and Resolving Conflicts of Mutual-Exclusion and Binding Constraints in a Business Process Context.	OTM Conferences (1)	2011	DBLP DOI BibTeX RDF
21	James R. Edmondson, Douglas C. Schmidt, Aniruddha S. Gokhale	QoS-Enabled Distributed Mutual Exclusion in Public Clouds.	OTM Conferences (2)	2011	DBLP DOI BibTeX RDF
21	Thomas Moscibroda, Rotem Oshman	Resilience of mutual exclusion algorithms to transient memory faults.	PODC	2011	DBLP DOI BibTeX RDF
21	Sung-Hoon Park, Seon-Hyong Lee	Quorum Based Mutual Exclusion in Asynchronous Systems with Unreliable Failure Detectors.	FGIT-GDC	2011	DBLP DOI BibTeX RDF
21	Robert Danek	Local-spin Algorithms for Variants of Mutual Exclusion Using Read and Write Operations.		2011	RDF
21	Hagit Attiya, Alex Kogan, Jennifer L. Welch	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2010	DBLP DOI BibTeX RDF	failure locality, Mobile ad hoc networks, dining philosophers
21	Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.	New Gener. Comput.	2010	DBLP DOI BibTeX RDF
21	Sae-Young Ahn, Sunshin An	KMCD-IME (Keeping the Maximum Communication Distance and Initial Mutual Exclusion among Router Nodes) Topology Control Algorithm for Effective Routing in ZigBee Networks.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
21	Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks	On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms.	Distributed Comput.	2010	DBLP DOI BibTeX RDF
21	ZhiWu Li 0001, Mingming Yan, MengChu Zhou	Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2010	DBLP DOI BibTeX RDF
21	Sukhendu Kanrar, Nabendu Chaki	FAPP: A New Fairness Algorithm for Priority Process Mutual Exclusion in Distributed Systems.	J. Networks	2010	DBLP DOI BibTeX RDF
21	Mahfoud Benchaïba, Mohamed Ahmed-Nacer	A distributed token based h-out of-k Mutual Exclusion protocol for mobile ad hoc networks.	Int. J. Ad Hoc Ubiquitous Comput.	2010	DBLP DOI BibTeX RDF
21	Mohammad Ashiqur Rahman, Md. Mostofa Akbar	A Permission Based Hierarchical Algorithm for Mutual Exclusion.	J. Comput.	2010	DBLP BibTeX RDF
21	Muhammad Asif Habib	Mutual exclusion and role inheritance affecting least privilege in RBAC.	ICITST	2010	DBLP BibTeX RDF
21	Mark Strembeck, Jan Mendling	Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context.	OTM Conferences (1)	2010	DBLP DOI BibTeX RDF