|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1619 occurrences of 834 keywords
|
|
|
Results
Found 2674 publication records. Showing 2674 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
129 | Prasad Jayanti, Srdjan Petrovic, King Tan |
Fair group mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 275-284, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
107 | Ajoy Kumar Datta, Rachid Hadid, Vincent Villain |
A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 113-128, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion |
86 | Robert Danek |
The k-bakery: local-spin k-exclusion using non-atomic reads and writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 36-44, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
k-exclusion, safe registers, shared memory, mutual exclusion, remote memory references |
82 | Selma Ikiz, Alper Sen 0001 |
Runtime Verification of k-Mutual Exclusion for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 44-50, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
82 | James H. Anderson, Yong-Jik Kim, Ted Herman |
Shared-memory mutual exclusion: major research trends since 1986. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(2-3), pp. 75-110, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Adaptive mutual exclusion, Fast mutual exclusion, k-exclusion, Nonatomic algorithms, Timing-based algorithms, Time complexity, Shared-memory systems, Group mutual exclusion, Local spinning |
80 | Danny Hendler, Philipp Woelfel |
Adaptive randomized mutual exclusion in sub-logarithmic expected time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 141-150, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
rmrs, adaptive, distributed algorithms, mutual exclusion, remote memory references |
80 | Srikanth Sastry, Scott M. Pike, Jennifer L. Welch |
The weakest failure detector for wait-free dining under eventual weak exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 111-120, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mutual exclusion, failure detectors, wait-freedom, partial synchrony, dining philosophers |
78 | Ranganath Atreya, Neeraj Mittal, Sathya Peri |
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(10), pp. 1345-1360, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quorumbased algorithm, resource management, mutual exclusion, message-passing system, group mutual exclusion |
78 | Ajoy Kumar Datta, Rachid Hadid, Vincent Villain |
A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 553-562, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
k-out-of-$ell$ exclusion, Fault-tolerance, resource allocation, self-stabilization, mutual exclusion |
76 | R. T. Jacob, Ivor P. Page |
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 560-568, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mutual exclusion solutions, binary semaphores, graphical form, mutual exclusion constraint, edge semaphore solution, edge solvable, entry, exit sections, graph theory, operating systems (computers), graph grammar, efficient algorithm, vertex, forbidden subgraph, mutual exclusion problem |
75 | Micha Hofri |
Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 24(1), pp. 18-22, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
65 | Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette |
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 223-237, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Local mutual exclusion, unfair daemon, transformer, self-stabilization |
65 | James H. Anderson, Mark Moir |
Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(1), pp. 1-20, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
k -Assignment, k -Exclusion, Shared subjects, Shared-memory multiprocessors, Resiliency, Wait-free, Local spinning |
63 | Yuh-Jzer Joung |
Asynchronous group mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(4), pp. 189-206, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Congenial talking philosophers, Shared-memory algorithms, Resource allocation, Mutual exclusion, Group mutual exclusion |
60 | Vibhor Bhatt, Prasad Jayanti |
Constant RMR solutions to reader writer synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 468-477, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
reader-writer lock, remote memory reference (rmr), synchronization, mutual exclusion |
60 | Armin Lawi, Kentaro Oda, Takaichi Yoshida |
Quorum Based Distributed Conflict Resolution Algorithm for Bounded Capacity Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 135-144, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed conflict resolution, fault-tolerance, Concurrency, mutual exclusion, quorum systems, coteries |
59 | Masataka Takamura, Yoshihide Igarashi |
Group Mutual Exclusion Algorithms Based on Ticket Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings, pp. 232-241, 2003, Springer, 3-540-40534-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
59 | Yoshifumi Manabe, Naka Tajima |
(h-k)-Arbiter for h-out of-k Mutual Exclusion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 216-223, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
58 | Yuh-Jzer Joung |
The congenial talking philosophers problem in computer networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(3), pp. 155-175, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Distributed algorithms, Resource allocation, Message passing, Mutual exclusion, Group mutual exclusion |
57 | Danny Hendler, Philipp Woelfel |
Randomized mutual exclusion in O(log N / log log N) RMRs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 26-35, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
remote memory references (RMRS), mutual exclusion |
57 | Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry |
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 99-115, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets |
57 | Weigang Wu, Jiannong Cao 0001, Michel Raynal |
A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-Hoc and Sensor Networks, Third International Conference, MSN 2007, Beijing, China, December 12-14, 2007, Proceedings, pp. 572-583, 2007, Springer, 978-3-540-77023-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Token Loss, Mobile Computing, MANET, Distributed Algorithm, Mutual Exclusion |
57 | Guohong Cao, Mukesh Singhal |
A Delay-Optimal Quorum-Based Mutual Exclusion Algorithm for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(12), pp. 1256-1268, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fault tolerance, Quorum, distributed mutual exclusion, synchronization delay |
57 | Patrick Keane, Mark Moir |
A Simple Local-Spin Group Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(7), pp. 673-685, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
scalable, synchronization, shared memory, Mutual exclusion, local spinning |
57 | Rachid Hadid |
Space and Time Efficient Self-Stabilizing l-Exclusion in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 529-534, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
L-exclusion, Fault-tolerance, Distributed Systems, Self-stabilization |
57 | Guohong Cao, Mukesh Singhal, Yi Deng 0001, Naphtali Rishe, Wei Sun 0002 |
A Delay-Optimal Quorum-Based Mutual Exclusion Scheme with Fault-Tolerance Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 444-451, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
fault-tolerance, Quorum, distributed mutual exclusion, synchronization delay |
55 | Vibhor Bhatt, Chien-Chung Huang |
Group mutual exclusion in O(log n) RMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 45-54, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
remote memory reference (rmr), synchronization, mutual exclusion, group mutual exclusion |
55 | Ousmane Thiare, Mohamed Naimi |
A Group k-Mutual Exclusion Algorithm for Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 58-66, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
group k-mutual exclusion, ad hoc networks, mutual exclusion |
55 | David Lin, Teng-Sheng Moh, W. Melody Moh |
Brief announcement: improved asynchronous group mutual exclusion in token-passing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 275, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed algorithm, message-passing, mutual exclusion, token-passing, group mutual exclusion |
55 | Yuh-Jzer Joung |
Quorum-Based Algorithms for Group Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(5), pp. 463-476, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
surficial quorum system, resource allocation, Mutual exclusion, quorum system, coteries, group mutual exclusion |
55 | Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit |
Group Mutual Exclusion In Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 111-116, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Distributed algorithms, mutual exclusion, group mutual exclusion |
55 | Nian-Feng Tzeng, Shiwa S. Fu |
Efficient implementation of mutual exclusion locks in large multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 270-275, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mutual exclusion locks, large multiprocessors, hot-spot contention, tree of locks, data structures, distributed algorithms, synchronization, concurrency control, multiprocessors, mutual exclusion, multistage interconnection networks, contention, rings, critical sections |
55 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(11), pp. 1185-1196, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Lisa Higham, Jalal Kawash |
Tight Bounds for Critical Sections in Processor Consistent Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(10), pp. 1072-1083, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
processor consistency, multiwriter/single-writer variables, mutual exclusion, Memory consistency models |
52 | Jianping Jiang, Ten-Hwang Lai, Neelam Soundarajan |
On Distributed Dynamic Channel Allocation in Mobile Cellular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(10), pp. 1024-1037, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed algorithms, Mutual exclusion, cellular networks, dynamic channel allocation |
52 | John Potter, Abdelsalam Shanneb, Eric Yu |
Demonstrating the Effectiveness of Exclusion Control for Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 344-353, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Ranganath Atreya, Neeraj Mittal |
A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 25th International Conference on Distributed Computing Systems (ICDCS 2005), 6-10 June 2005, Columbus, OH, USA, pp. 251-260, 2005, IEEE Computer Society, 0-7695-2331-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Vassos Hadzilacos |
A note on group mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 100-106, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Lisa Higham, Jalal Kawash |
Bounds for Mutual Exclusion with only Processor Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 44-58, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Ten-Hwang Lai, Jianping Jiang, Tao Ma |
A Relaxed Mutual Exclusion Problem with Application to Channel Allocation in Mobile Cellular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 592-599, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Sampath Rangarajan, Satish K. Tripathi |
A Robust Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 5th International Workshop, WDAG '91, Delphi, Greece, October 7-9, 1991, Proceedings, pp. 295-308, 1991, Springer, 3-540-55236-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
52 | Tai-Kuo Woo |
A Note on Lamport's Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 24(4), pp. 78-80, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
49 | Sam D. Waller, Patrick Langdon, P. John Clarkson |
Visualizing Design Exclusion Predicted by Disability Data: A Mobile Phone Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I, pp. 644-653, 2009, Springer, 978-3-642-02706-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
calculating exclusion, Inclusive design |
49 | Syed Sajjad Rizvi, Hemen Patel, Khaled M. Elleithy |
Parallel and distributed algorithms and implementations: time based mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
time based mutual exclusion, distributed algorithms, parallel systems |
49 | Jurek Czyzowicz, Leszek Gasieniec, Dariusz R. Kowalski, Andrzej Pelc |
Consensus and Mutual Exclusion in a Multiple Access Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 512-526, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
consensus, collision detection, mutual exclusion, multiple access channel |
49 | Sukhendu Kanrar, Nabendu Chaki |
Modified Raymond's Algorithm for Priority (MRA-P) Based Mutual Exclusion in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006, Proceedings, pp. 325-332, 2006, Springer, 3-540-68379-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Token based algorithm, Fairness, Priority, Critical Section, Distributed mutual exclusion |
49 | J. Christian Attiogbé |
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 124-141, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Refinement, Mutual Exclusion, Event B, Parallel Composition |
49 | Mahfoud Benchaïba, Abdelmadjid Bouabdallah, Nadjib Badache, Mohamed Ahmed-Nacer |
Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 38(1), pp. 74-89, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
algorithm, mobile ad hoc network, mutual exclusion, critical section |
49 | Masaru Takesue |
A Model of Pipelined Mutual Exclusion on Cache-Coherent Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 917-922, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Models, pipelining, mutual exclusion |
49 | Dan Liu, Xinsong Liu, Zhijie Qiu, Gongjun Yan |
A High Efficiency Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Programming Technologies, 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, pp. 75-84, 2003, Springer, 3-540-20054-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
read/write clock stamp, self-stability, distributed mutual exclusion |
49 | James H. Anderson, Yong-Jik Kim |
A new fast-path mechanism for mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 14(1), pp. 17-29, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Fast mutual exclusion, Read/write atomicity, Scalability, Shared memory, Local spinning |
49 | Kumiko Obokata, Michiko Omori, Kazuhiro Motegi, Yoshihide Igarashi |
A Lockout Avoidance Algorithm without Using Time-Stamps for the k-Exclusion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings, pp. 571-575, 2001, Springer, 3-540-42494-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
k-exclusion, lockout avoidance, lockout freedom, shared memory, concurrent computation, asynchronous processes |
49 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(1-2), pp. 117-132, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed systems, distributed algorithms, communication networks, critical section, distributed mutual exclusion |
49 | Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno |
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(4), pp. 337-345, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed systems, mutual exclusion, communication delay, Quorums, coteries |
49 | Vibhor Bhatt, Prasad Jayanti |
On the Existence of Weakest Failure Detectors for Mutual Exclusion and k-Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 311-325, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Vibhor Bhatt, Nicholas Christman, Prasad Jayanti |
Extracting quorum failure detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 73-82, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, mutual exclusion, asynchronous system, failure detector |
44 | Michiko Inoue, Tsuyoshi Suzuki, Hideo Fujiwara |
Brief Announcement: Acceleration by Contention for Shared Memory Mutual Exclusion Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 172-173, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Gal Katz, Doron A. Peled |
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 33-47, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Luca Grieco, Domenico Lembo, Riccardo Rosati 0001, Marco Ruzzi |
Consistent query answering under key and exclusion dependencies: algorithms and experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 792-799, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, inconsistency, query rewriting |
44 | Yoshifumi Manabe, JaeHyrk Park |
A Quorum-Based Extended Group Mutual Exclusion Algorithm without Unnecessary Blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 10th International Conference on Parallel and Distributed Systems, ICPADS 2004, Newport Beach, CA, USA, July 7-9, 2004, pp. 341-348, 2004, IEEE Computer Society, 0-7695-2152-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Artur Pereira, Antonio Rui Borges, Antonio B. Ferrari |
Exclusion Relation of k Out of n and the Synthesis of Speed-Independent Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003, pp. 155-, 2003, IEEE Computer Society, 0-7695-2009-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
44 | Rachid Hadid, Vincent Villain |
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 136-151, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Maria Gradinariu, Sébastien Tixeuil |
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 83-90, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Shimon Cohen, Daniel Lehmann 0001, Amir Pnueli |
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 128-136, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
42 | Stefan Ronngren, Behrooz A. Shirazi |
Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 143-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods |
42 | Abhishek Swaroop, Awadhesh Kumar Singh |
A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings, pp. 462-467, 2009, Springer, 978-3-540-92294-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cluster, Concurrency, Fairness, Group mutual exclusion |
42 | Hagit Attiya, Danny Hendler, Philipp Woelfel |
Tight rmr lower bounds for mutual exclusion and other problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 217-226, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bounded counter, lower-bound techniques, store/collect object, information theory, shared-memory, mutual exclusion |
42 | Yong-Jik Kim, James H. Anderson |
Adaptive mutual exclusion with local spinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 19(3), pp. 197-236, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Adaptive mutual exclusion, Read/write atomicity, Time complexity, Shared-memory systems, Local spinning |
42 | Frédéric Gardi |
Mutual exclusion scheduling with interval graphs or related classes: Complexity and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 4(1), pp. 87-90, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mutual exclusion scheduling, workforce planning, graph classes, graph coloring, interval graphs |
42 | Rui Fan 0004, Nancy A. Lynch |
An Omega (n log n) lower bound on the cost of mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 275-284, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lower bound techniques, information theory, time complexity, mutual exclusion |
42 | Federico Meza, Jorge Pérez R., Yadran Eterovic |
Implementing Distributed Mutual Exclusion on Multithreaded Environments: The Alien-Threads Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 51-62, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallel programming, multithreading, concurrent programming, distributed shared memory, Distributed mutual exclusion |
42 | James H. Anderson, Yong-Jik Kim |
An improved lower bound for the time complexity of mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(4), pp. 221-253, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Lower bounds, Shared memory, Time complexity, Mutual exclusion, Atomicity, Local spinning |
42 | Yu Chen 0017, Jennifer L. Welch |
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL-M ![In: Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2002), Atlanta, Georgia, USA, September 28-28, 2002, pp. 34-42, 2002, ACM, 1-58113-587-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation |
42 | Ted Herman |
Superstabilizing Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(1), pp. 1-17, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Mutual exclusion, Fault-containment |
42 | Sandeep Lodha, Ajay D. Kshemkalyani |
A Fair Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(6), pp. 537-549, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion |
42 | Jerzy Brzezinski, Dariusz Wawrzyniak |
Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 618-625, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed shared memory, mutual exclusion, consistency models |
42 | Yih-Kuen Tsay |
Deriving a Scalable Algorithm for Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings, pp. 393-407, 1998, Springer, 3-540-65066-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
read/write atomicity, scalability, refinement, mutual exclusion, local spins |
42 | Shiwa S. Fu, Nian-Feng Tzeng |
A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(6), pp. 628-639, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Circular lists, hot-spot contention, tree of locks, multiprocessors, mutual exclusion, critical sections, linked lists |
42 | Vinaya Revannaswamy, P. C. P. Bhatt |
A Fault Tolerant Protocol As an Extension to a Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 730-735, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed algorithms, Computer networks, mutual exclusion, critical section, network partitioning, token passing |
42 | Theodore Johnson |
A performance comparison of fast distributed mutual exclusion algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 258-264, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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 |
42 | Jia Xu |
Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 139-154, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
exclusion relations, nonpreemptive schedule, automated pre-run-time scheduling, scheduling, real-time systems, multiprocessing systems, deadlines, multiprocessor scheduling, hard-real-time systems, release times, precedence |
42 | Mukesh Singhal |
A Dynamic Information-Structure Mutual Exclusion Algorithm for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(1), pp. 121-125, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
dynamic information-structure, trafficconditions, impact message loss, site failures, distributed systems, distributed processing, mutual exclusion algorithm |
42 | Rajeev Chawla |
A distributed mutual exclusion solution derived from real-life examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 261-268, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
sychronization, distributed system, deadlock, mutual exclusion, critical section, starvation, information structure |
42 | Shojiro Nishio, Kin F. Li, Eric G. Manning |
A Resilient Mutual Exclusion Algorithm for Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(3), pp. 344-356, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
resilient mutual exclusion algorithm, communication controller failure, communication link failure, computer networks, computer networks, processor failure, network failure |
42 | Jia Xu, David Lorge Parnas |
Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 360-369, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
single processor, exclusion relations, ordered pairs, process segments, automated pre-run-time scheduling, arbitrary precedence, scheduling, optimisation, search problems, hard-real-time systems, optimal schedule, release time, precedence relations |
42 | Mohamed Naimi, Michel Tréhel |
How to Detect a Failure and Regenerate the Token in the Log(N) Distributed Algorithm for Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings, pp. 155-166, 1987, Springer, 3-540-19366-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
node election, fault-tolerance, Distributed algorithm, mutual exclusion, node failure |
40 | Waldemar Villamayor-Venialbo, Horacio Andrés Legal-Ayala, Edson J. R. Justino, Jacques Facon |
Partial Matching Using Set Exclusion Criteria: Applied to Livestock Brand Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: SIBGRAPI 2010, Proceedings of the 23rd SIBGRAPI Conference on Graphics, Patterns and Images, Gramado, Brazil, August 30 2010-September 3, 2010, pp. 178-185, 2010, IEEE Computer Society, 978-1-4244-8420-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
set exclusion criteria, exclusion measure function, livestock brands, handwritten symbols, pattern recognition, image retrieval, partial matching, invariant features |
40 | Vijay Kumar 0002, Jerry Place, Gi-Chul Yang |
An Efficient Algorithm for Mutual Exclusion Using Queue Migration in Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(3), pp. 380-384, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
queue migration, nonsymmetric deadlock-free mutual exclusion algorithm, lightly loaded system, performance evaluation, performance, computer networks, computer networks, queueing theory, network topology, mutual exclusion, network operating systems |
39 | Veli Hakkoymaz, Joel Kraft, Gultekin Özsoyoglu |
Constraint-Based Automation of Multimedia Presentation Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 7(6), pp. 500-518, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 187-206, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ |
36 | Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore |
Local Synchronization on Oriented Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization |
36 | Wojciech M. Golab, Danny Hendler, Philipp Woelfel |
An O(1) RMRs leader election algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 238-247, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test-and-set, shared memory, mutual exclusion, leader election, remote memory references |
36 | Crispín Gómez Requena, María Engracia Gómez Requena, Pedro Juan López Rodríguez, J. F. D. Marin |
FT2EI: A Dynamic Fault-Tolerant Routing Methodology for Fat Trees with Exclusion Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(6), pp. 802-817, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Ajoy Kumar Datta, Stéphane Devismes, Florian Horn 0001, Lawrence L. Larmore |
Self-Stabilizing k-out-of-l exclusion on tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Hirotsugu Kakugawa, Sayaka Kamei, Toshimitsu Masuzawa |
A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(9), pp. 1153-1166, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Scott M. Pike, Yantao Song, Srikanth Sastry |
Wait-Free Dining Under Eventual Weak Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 135-146, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Failure Detectors, Wait-Freedom, Dining Philosophers |
36 | Vijay Anand Reddy, Prateek Mittal, Indranil Gupta |
Fair K Mutual Exclusion Algorithm for Peer to Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China, pp. 655-662, 2008, IEEE Computer Society, 978-0-7695-3172-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Mrinmoy Ghosh, Hsien-Hsin S. Lee |
Virtual Exclusion: An architectural approach to reducing leakage energy in caches for multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 13th International Conference on Parallel and Distributed Systems, ICPADS 2007, Hsinchu, Taiwan, December 5-7, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Yu-Chen Kuo, Huang-Chen Lee |
A Lightweight Group Mutual k-Exclusion Algorithm Using Bi-k-Arbiters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings, pp. 509-510, 2005, Springer, 3-540-29163-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Toon Calders, Bart Goethals |
Quick Inclusion-Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 86-103, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2674 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|