Search results for "mutual-exclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Abdelmadjid Bouabdallah, Jean-Claude König	An Improvement of the Maekawa's Mutual Exclusion Algorithm to Make it Fault-Tolerant.	Parallel Process. Lett.	1993	DBLP DOI BibTeX RDF
21	James H. Anderson	A Fine-Grained Solution to the Mutual Exclusion Problem.	Acta Informatica	1993	DBLP DOI BibTeX RDF
21	Mukesh Singhal	A Taxonomy of Distributed Mutual Exclusion.	J. Parallel Distributed Comput.	1993	DBLP DOI BibTeX RDF
21	Ajay Gupta, Steven C. Bruell, Sukumar Ghosh	Mutual Exclusion on a Hypercube.	J. Parallel Distributed Comput.	1993	DBLP DOI BibTeX RDF
21	Kia Makki, Niki Pissinou, Yelena Yesha	An O(sqr N) Token Based Distributed Mutual Exclusion Algorithm.	Informatica (Slovenia)	1993	DBLP BibTeX RDF
21	James E. Burns, Nancy A. Lynch	Bounds on Shared Memory for Mutual Exclusion	Inf. Comput.	1993	DBLP DOI BibTeX RDF
21	Takeshi Fuchi	An improved √N algorithm for mutual exclusion in decentralized systems.	Syst. Comput. Jpn.	1993	DBLP DOI BibTeX RDF
21	Jing Wang	DRS operating primitives based on distributed mutual exclusion.	IROS	1993	DBLP DOI BibTeX RDF
21	Ye-In Chang	Notes on Maekawa's O(sqrt N) Distributed Mutual Exclusion Algorithm.	SPDP	1993	DBLP DOI BibTeX RDF
21	Manhoi Choy, Ambuj K. Singh	Adaptive Solutions to the Mutual Exclusion Problem (Extended Abstract).	PODC	1993	DBLP DOI BibTeX RDF
21	Morikazu Nakamura, Kenji Onaga, Seiki Kyan	A mutual exclusion algorithm for a distributed network of autonomous nodes.	ISCAS	1993	DBLP BibTeX RDF
21	Joan Vila i Carbó	Using Global State Properties to Attain Mutual Exclusion in Distributed Systems.	Decentralized and Distributed Systems	1993	DBLP BibTeX RDF
21	Eyal Kushilevitz, Yishay Mansour, Michael O. Rabin, David Zuckerman	Lower bounds for randomized mutual exclusion.	STOC	1993	DBLP DOI BibTeX RDF
21	David L. Sims, Debra A. Hensgen	Automatically Mapping Sequential Objects to Concurrent Objects: The Mutual Exclusion Problem.	ICPP (2)	1993	DBLP DOI BibTeX RDF
21	Jo C. Ebergen, P. F. Bertrand, S. Gingras	Solving a Mutual Exclusion Problem with the RGD Arbiter.	Asynchronous Design Methodologies	1993	DBLP BibTeX RDF
21	R. Satyanarayanan, C. R. Muthukrishnan	A Note on Raymond's Tree Based Algorithm for Distributed Mutual Exclusion.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
21	Abdelmadjid Bouabdallah, Jean-Claude König	An Improvement of Maekawa's Mutual Exclusion Algorithm to Make It Fault-Tolerant.	Parallel Process. Lett.	1992	DBLP DOI BibTeX RDF
21	Rachamallu L. N. Reddy, B. Gupta, Pradip K. Srimani	A new fault tolerant distributed mutual exclusion algorithm.	SAC	1992	DBLP DOI BibTeX RDF
21	Kia Makki, Paul Banta, Ken Been, Niki Pissinou, E. K. Park	A Token Based Distributed K Mutual Exclusion Algorithm.	SPDP	1992	DBLP DOI BibTeX RDF
21	William L. Moran Jr., Farnam Jahanian	Cheap Mutual Exclusion.	USENIX Summer	1992	DBLP BibTeX RDF
21	Nancy A. Lynch, Nir Shavit	Timing-Based Mutual Exclusion.	RTSS	1992	DBLP DOI BibTeX RDF
21	Rajeev Alur, Gadi Taubenfeld	Results about Fast Mutual Exclusion.	RTSS	1992	DBLP DOI BibTeX RDF
21	Eugene Styer	Improving Fast Mutual Exclusion.	PODC	1992	DBLP DOI BibTeX RDF
21	Isaac Saias	Proving Probabilistic Correctness Statements: the Case of Rabin's Algorithm for Mutual Exclusion.	PODC	1992	DBLP DOI BibTeX RDF
21	Eyal Kushilevitz, Michael O. Rabin	Randomized Mutual Exclusion Algorithms Revisited.	PODC	1992	DBLP DOI BibTeX RDF
21	Tai-Kuo Woo, Richard E. Newman-Wolfe	Huffman Trees as a Basis for a Dynamic Mutual Exclusion Algorithm for Distributed Systems.	ICDCS	1992	DBLP DOI BibTeX RDF
21	Kia Makki, Paul Banta, Ken Been, Niki Pissinou	On Algorithms for Mutual Exclusion in Distributed Systems.	ICPP (2)	1992	DBLP BibTeX RDF
21	Pranay Chaudhuri	Optimal algorithm for mutual exclusion in mesh-connected computer networks.	Comput. Commun.	1991	DBLP DOI BibTeX RDF
21	Mukesh Singhal	A Class of Deadlock-Free Meakawa-Type Algorithms for Mutual Exclusion in Distributed Systems.	Distributed Comput.	1991	DBLP DOI BibTeX RDF
21	Edward A. Lycklama, Vassos Hadzilacos	A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	critical selection, nonatomic operations, distributed systems
21	Kwok-Bun Yue, R. T. Jacob	An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem.	Comput. J.	1991	DBLP DOI BibTeX RDF
21	Satoshi Fujita, Masafumi Yamashita, Tadashi Ae	Distributed k-Mutual Exclusion Problem and k-Coteries.	ISA	1991	DBLP DOI BibTeX RDF
21	Tai-Kuo Woo, Kenneth Block	A Recursive Mutual Exclusion Algorithm for Multiprocessor Systems with Shared Memory.	ICPP (3)	1991	DBLP BibTeX RDF
21	Kia Makki, Paul Banta, Ken Been, Roy Ogawa	Two Algorithms for Mutual Exclusion in a Distributed System.	ICPP (1)	1991	DBLP BibTeX RDF
21	Kenneth Block, Tai-Kuo Woo	A More Efficient Generalization of Petersons's Mutual Exclusion Algorithm.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
21	Andrzej M. Goscinski	Two Algorithms for Mutual Exclusion in Real-Time Distributed Computer Systems.	J. Parallel Distributed Comput.	1990	DBLP DOI BibTeX RDF
21	Pradip K. Srimani, Shivakant Mishra	Performance evaluation of distributed mutual exclusion algorithms for computer networks.	Comput. Syst. Sci. Eng.	1990	DBLP BibTeX RDF
21	Shivakant Mishra, Pradip K. Srimani	Fault-tolerant mutual exclusion algorithms.	J. Syst. Softw.	1990	DBLP DOI BibTeX RDF
21	Boleslaw K. Szymanski	Mutual exclusion revisited.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
21	Ye-In Chang, Mukesh Singhal, Ming T. Liu	A hybrid approach to mutual exclusion for distributed systems.	COMPSAC	1990	DBLP DOI BibTeX RDF
21	Amos Israeli, Marc Jalfon	Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion.	PODC	1990	DBLP DOI BibTeX RDF
21	Ye-In Chang, Mukesh Singhal, Ming T. Liu	An Improved O(log N) Mutual Exclusion Algorithm for Distributed Systems.	ICPP (3)	1990	DBLP BibTeX RDF
21	Ye-In Chang, Mukesh Singhal, Ming T. Liu	A Fault Tolerant Algorithm for Distributed Mutual Exclusion.	SRDS	1990	DBLP DOI BibTeX RDF
21	Mukesh Singhal	A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF
21	D. J. Walker	Automated Analysis of Mutual Exclusion Algorithms using CCS.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
21	Ivor P. Page, R. T. Jacob	The Solution of Mutual Exclusion Problems which can be Described Graphically.	Comput. J.	1989	DBLP DOI BibTeX RDF
21	Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori	Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
21	Jerry Place	An Algorithm Based on Queue Migration for Mutual Exclusion in Computer Networks.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
21	Vijay Kumar 0002, Jerry Place, Gi-Chul Yang	A Superior Algorithm for Mutual Exclusion in Computer Networks - VISHNU.	IFIP Congress	1989	DBLP BibTeX RDF
21	Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen	An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.	SIGMETRICS	1989	DBLP BibTeX RDF
21	Eugene Styer, Gary L. Peterson	Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems.	PODC	1989	DBLP DOI BibTeX RDF
21	Divyakant Agrawal, Amr El Abbadi	Efficient Solution to the Distributed Mutual Exclusion Problem.	PODC	1989	DBLP DOI BibTeX RDF
21	Mukesh Singhal	A Dynamic Information-Structure Mutual Exclusion Algorithm for Distributed Systems.	ICDCS	1989	DBLP DOI BibTeX RDF
21	Shojiro Nishio, Kin F. Li, Eric G. Manning	A time-out based resilient token transfer algorithm for mutual exclusion in computer networks.	ICDCS	1989	DBLP DOI BibTeX RDF
21	Jean-Michel Hélary, Noël Plouzeau, Michel Raynal	A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network.	Comput. J.	1988	DBLP DOI BibTeX RDF
21	Stuart A. Friedberg, Gary L. Peterson	An Efficient Solution to the Mutual Exclusion Problem Using Weak Semaphores.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
21	Jan L. A. van de Snepscheut	Fair Mutual Exclusion on a Graph of Processes.	Distributed Comput.	1987	DBLP DOI BibTeX RDF
21	Jan Magott	Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets.	PNPM	1987	DBLP BibTeX RDF
21	Mohamed Naimi, Michel Tréhel	An Improvement of the \logN Distributed Algorithm for Mutual Exclusion.	ICDCS	1987	DBLP BibTeX RDF
21	Mukesh Singhal	On the Application of AI in Decentralized Control: An Illustration by Mutual Exclusion.	ICDCS	1987	DBLP BibTeX RDF
21	S. Mishra, P. K. Srimani	A robust algorithm for mutual exclusion in a computer network.	FJCC	1987	DBLP BibTeX RDF
21	Alain J. Martin	A New Generalization of Dekker's Algorithm for Mutual Exclusion.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
21	J. K. Annot, M. D. Janssens, Ad J. van de Goor	Comments on Morris's Starvation-Free Solution to the Mutual Exclusion Problem.	Inf. Process. Lett.	1986	DBLP DOI BibTeX RDF
21	Daniel Barbará, Hector Garcia-Molina	Mutual Exclusion in Partitioned Distributed Systems.	Distributed Comput.	1986	DBLP DOI BibTeX RDF
21	Behrooz Parhami	A geometric view of mutual exclusion and deadlock in computer system.	ACM SIGCSE Bull.	1986	DBLP DOI BibTeX RDF
21	Alain Dupuis, Gérard Hébuterne, Jean-Marc Pitie	A comparison of two mutual-exclusion algorithms for computer networks.	J. Syst. Softw.	1986	DBLP DOI BibTeX RDF
21	Bernard Geary	Software Based Mutual Exclusion in a Multiprocessor.	ICPP	1986	DBLP BibTeX RDF
21	Jan Magott	Performance Evaluation of Dystems of Cyclic Sequential Processes with Mutual Exclusion Using Petri Nets.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
21	Alain J. Martin, Jerry R. Burch	Fair Mutual Exclusion with Unfair P and V Operations.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
21	E. Pearse O'Grady, Raul Lozano	A Performance Study of Mutual Exclusion/Synchronization Mechanisms in an IEEE 796 Bus Multiprocessor.	IEEE Micro	1985	DBLP DOI BibTeX RDF
21	Mamoru Maekawa	A Square Root N Algorithm for Mutual Exclusion in Decentralized Systems	ACM Trans. Comput. Syst.	1985	DBLP BibTeX RDF
21	Alain J. Martin	Distributed Mutual Exclusion on a Ring of Processes.	Sci. Comput. Program.	1985	DBLP DOI BibTeX RDF
21	Tomasz Kowaltowski, Antonio Palma	Another Solution of the Mutual Exclusion Problem.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
21	Shimon Cohen, Daniel Lehmann 0001, Amir Pnueli	Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
21	Gael N. Buckley, Abraham Silberschatz	A Failure Tolerant Centralized Mutual Exclusion Algorithm.	ICDCS	1984	DBLP BibTeX RDF
21	Michael O. Rabin	N-Process Mutual Exclusion with Bounded Waiting by 4 Log_2 N-Valued Shared Variable.	J. Comput. Syst. Sci.	1982	DBLP DOI BibTeX RDF
21	Eugene W. Stark	Semaphore primitives and starvation-free mutual exclusion.	J. ACM	1982	DBLP DOI BibTeX RDF
21	James E. Burns, Paul Jackson, Nancy A. Lynch, Michael J. Fischer, Gary L. Peterson	Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.	J. ACM	1982	DBLP DOI BibTeX RDF
21	R. K. Arora, S. P. Rana, N. K. Jain	Achieving mutual exclusion in a distributed computing environment.	Inf. Syst.	1982	DBLP DOI BibTeX RDF
21	M. E. Harper	Mutual Exclusion Within Both Software- and Hardware-Driven Kernel Primitives.	ACM SIGOPS Oper. Syst. Rev.	1982	DBLP DOI BibTeX RDF
21	I. Suzuki, Tadao Kasami	An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks.	ICDCS	1982	DBLP BibTeX RDF
21	Gary L. Peterson	Myths About the Mutual Exclusion Problem.	Inf. Process. Lett.	1981	DBLP DOI BibTeX RDF
21	Glenn Ricart, Ashok K. Agrawala	An Optimal Algorithm for Mutual Exclusion in Computer Networks.	Commun. ACM	1981	DBLP DOI BibTeX RDF
21	Robert W. Doran, L. K. Thomas	Variants of the Software Solution to Mutual Exclusion.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
21	Joseph M. Morris	A Starvation-Free Solution to the Mutual Exclusion Problem.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
21	Per Brinch Hansen, Jørgen Staunstrup	Specification and Implementation of Mutual Exclusion.	IEEE Trans. Software Eng.	1978	DBLP DOI BibTeX RDF
21	James E. Burns	Mutual exclusion with linear waiting using binary shared variables.	SIGACT News	1978	DBLP DOI BibTeX RDF
21	Ronald L. Rivest, Vaughan R. Pratt	The Mutual Exclusion Problem for Unreliable Processes: Preliminary Report	FOCS	1976	DBLP DOI BibTeX RDF
20	Azzedine Boukerche, Kaouther Abrougui, Tingxue Huang	QoS and Fault-Tolerant Based Distributed Dynamic Channel Allocation Protocol for Cellular Networks.	LCN	2005	DBLP DOI BibTeX RDF
20	Jean-Yves Le Boudec, Ruben Merz, Bozidar Radunovic, Jörg Widmer	DCC-MAC: A Decentralized MAC Protocol for 802.15.4a-like UWB Mobile Ad-Hoc Networks Based on Dynamic Channel Coding.	BROADNETS	2004	DBLP DOI BibTeX RDF	802.15.4a, Dynamic Channel Coding, Medium Access Control, Ultra-wide band
20	Tom Altman, Yoshihide Igarashi, Michiko Omori	A Turn Function Scheme Realized in the Asynchronous Single-Writer/Multi-reader Shared Memory Model.	ISAAC	2003	DBLP DOI BibTeX RDF
17	Peng Liu, Jian-bin Hu, Zhong Chen 0001	A Formal Language for Access Control Policies in Distributed Environment.	Web Intelligence	2005	DBLP DOI BibTeX RDF
17	Sergiu Hart, Micha Sharir, Amir Pnueli	Termination of Probabilistic Concurrent Programs.	POPL	1982	DBLP DOI BibTeX RDF
12	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
12	Charles E. Leiserson, Tao B. Schardl	A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers).	SPAA	2010	DBLP DOI BibTeX RDF	hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
12	Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
12	Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	Distributed Comput.	2009	DBLP DOI BibTeX RDF
12	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Liveness of a mutex algorithm in a fair process algebra.	Acta Informatica	2009	DBLP DOI BibTeX RDF
12	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
12	Alain Cournier, Stéphane Devismes, Vincent Villain	Light enabling snap-stabilization of fundamental protocols.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Self- and snap-stabilization, wave protocols, transformer