Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Mutual exclusion")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 421

  • Page / 17
Export

Selection :

  • and

A highly concurrent group mutual l-exclusion algorithmVIDYASANKAR, K.Parallel processing letters. 2006, Vol 16, Num 4, pp 467-483, issn 0129-6264, 17 p.Article

A new transformation method for nondominated coterie designSHOU, D; SHENG-DE WANG.Information sciences. 1993, Vol 74, Num 3, pp 223-246, issn 0020-0255Article

Mutual exclusion in asynchronous systems with failure detectorsDELPORTE-GALLET, Carole; FAUCONNIER, Hugues; GUERRAOUI, Rachid et al.Journal of parallel and distributed computing (Print). 2005, Vol 65, Num 4, pp 492-505, issn 0743-7315, 14 p.Article

Complexité d'algorithmes et opérations sur les arbresDULUCQ, S; GIRE, S.Theoretical computer science. 1993, Vol 117, Num 1-2, pp 187-198, issn 0304-3975Conference Paper

Space-efficient FCFS group mutual exclusionPETROVIC, Srdjan.Information processing letters. 2005, Vol 95, Num 2, pp 343-350, issn 0020-0190, 8 p.Article

Tight space bounds for ℓ-exclusionTAUBENFELD, Gadi.Distributed computing. 2014, Vol 27, Num 3, pp 165-179, issn 0178-2770, 15 p.Article

Multiserialization of iterated transactionsFLE, M. P; ROUCAIROL, G.Information processing letters. 1984, Vol 18, Num 5, pp 243-247, issn 0020-0190Article

Another solution of the mutual exclusion problemKOWALTOWSKI, T; PALMA, A.Information processing letters. 1984, Vol 19, Num 3, pp 145-146, issn 0020-0190Article

Structured Deferral: Synchronization via ProcrastinationMCKENNEY, Paul E.Communications of the ACM. 2013, Vol 56, Num 7, pp 40-49, issn 0001-0782, 10 p.Article

Distributed mutual exclusion on a ring of processesMARTIN, A. J.Science of computer programming. 1985, Vol 5, Num 3, pp 265-276, issn 0167-6423Article

An optimal algorithm for reducing edge-solvable mutual exclusion graphsKWOK-BUN YUE; JACOB, R. T.Computer journal (Print). 1994, Vol 37, Num 2, pp 129-138, issn 0010-4620Article

Enabling local actions by global consensusRAMAMRITHAM, K.Information systems (Oxford). 1985, Vol 10, Num 3, pp 319-324, issn 0306-4379Article

Fair mutual exclusion with unfair P and V operationsMARTIN, A. J; BURCH, J. R.Information processing letters. 1985, Vol 21, Num 2, pp 97-100, issn 0020-0190Article

An algorithm for k-mutual exclusion in decentralized systemsCHAUDHURI, Pranay; EDWARD, Thomas.Computer communications. 2008, Vol 31, Num 14, pp 3223-3235, issn 0140-3664, 13 p.Article

The Balancing Act of Choosing Nonblocking FeaturesMICHAEL, Maged M.Communications of the ACM. 2013, Vol 56, Num 9, pp 46-53, issn 0001-0782, 8 p.Article

Correction et preuve partielle du protocole d'exclusion mutuelle de Galaxie = Correction and partial proof of Galaxy mutual exclusion protocolGROZ, Roland.1983, 34-3-6 pReport

A quorum based k-mutual exclusion by weighted k-quorum systemsFUJITA, S.Information processing letters. 1998, Vol 67, Num 4, pp 191-197, issn 0020-0190Article

Symmetric and economical solutions to the mutual exclusion problem in a distributed systemCOHEN, S; LEHMANN, D; PNUELI, A et al.Theoretical computer science. 1984, Vol 34, Num 1-2, pp 215-225, issn 0304-3975Conference Paper

When does a correct mutual exclusion algorithm guarantee mutual exclusion?LAMPORT, Leslie; PERL, Sharon; WEIHL, William et al.Information processing letters. 2000, Vol 76, Num 3, pp 131-134, issn 0020-0190Article

Synthèse des performances de 5 algorithmes distribués d'exclusion mutuelle = Performances synthesis of 5 mutal exclusion distributed algorithms1986, 223 p.Report

Transformational verification of parameterized protocols using array formulasPETTOROSSI, Alberto; PROIETTI, Maurizio; SENNI, Valerio et al.Lecture notes in computer science. 2006, pp 23-43, issn 0302-9743, isbn 3-540-32654-5, 1Vol, 21 p.Conference Paper

Bounding Lamport's Bakery algorithmJAYANTI, Prasad; KING TAN; FRIEDLAND, Gregory et al.Lecture notes in computer science. 2001, pp 261-270, issn 0302-9743, isbn 3-540-42912-3Conference Paper

A highly safe self-stabilizing mutual exclusion algorithmYEN, I.-L.Information processing letters. 1996, Vol 57, Num 6, pp 301-305, issn 0020-0190Article

A resilient token transfer algorithm for mutual exclusion in a distributed systemMURO, S; HASEGAWA, T; KATOH, N et al.Systems, computers, controls. 1985, Vol 16, Num 1, pp 1-8, issn 0096-8765Article

The emergence of words : Attentional learning in form and meaningREGIER, Terry.Cognitive science. 2005, Vol 29, Num 6, pp 819-865, issn 0364-0213, 47 p.Article

  • Page / 17