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

MUTUAL EXCLUSION WITHIN BOTH SOFTWARE- AND HARDWARE-DRIVEN KERNAL PRIMITIVESHARPER ME.1982; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1982; VOL. 16; NO 4; PP. 60-68; BIBL. 2 REF.Article

DEADLOCK AND FAIRNESS IN PARALLEL SCHEMAS: A SET-THEORETIC CHARACTERIZATION AND DECISION PROBLEMSCZAJA L.1980; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1980; VOL. 10; NO 4-5; PP. 234-239; BIBL. 5 REF.Article

GD80 - A MULTI-MICROPROCESSOR ARCHITECTURE FOR COMPUTER GRAPHICSVEREBELY P.1980; EUROMICRO J.; ISSN 0167-3858; NLD; DA. 1980; VOL. 6; NO 6; PP. 406-409; BIBL. 13 REF.Article

VARIANTS OF THE SOFTWARE SOLUTION TO MUTUAL EXCLUSIONDORAN RW; THOMAS LK.1980; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1980; VOL. 10; NO 4-5; PP. 206-208; BIBL. 3 REF.Article

CONCURRENT READING AND WRITING.LAMPORT L.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 11; PP. 806-811; BIBL. 8 REF.Article

SPECIFICATION ET VALIDATION D'UN ALGORITHME DISTRIBUE D'EXCLUSION MUTUELLE - MISE EN OEUVRE DE LA SIMULATION: METHODE ET RESULTATS = SPECIFICATION AND VALIDATION OF A MUTUAL-EXCLUSION, DISTRIBUTED ALGORITHM - IMPLEMENTATION OF THE SIMULATION: METHOD AND RESULTSJARD C.1982; ; FRA; DA. 1982; NT-LAA/SLC-93; 133 P.; 30 CM; BIBL. 11 REF.; NOTE TECHNIQUEReport

ARBITRATION WITHOUT COMMON MODIFIABLE VARIABLESKESSELS JLW.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 17; NO 2; PP. 135-141; BIBL. 3 REF.Article

A SIMPLE SEMAPHORE-QUEUE MANAGEMENT FOR MULTIPROCESSING SYSTEMSAMIT N; HOFRI M.1980; OPER. SYST. REV.; USA; DA. 1980; VOL. 14; NO 3; PP. 13-15; BIBL. 1 REF.Article

AN ALTERNATIVE TO EVENT QUEUES FOR SYNCHRONIZATION IN MONITORS.KESSELS JLW.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 7; PP. 500-503; BIBL. 8 REF.Article

SEMAPHORE PRIMITIVES AND STARVATION-FREE MUTUAL EXCLUSIONSTARK EW.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 4; PP. 1049-1072; BIBL. 21 REF.Article

ON THE FORMAL SPECIFICATION AND ANALYSIS OF LOOSELY CONNECTED PROCESSESMILLER RE; YAP CK.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 33-66; BIBL. 15 REF.Conference Paper

MECANISME REPARTI DU MUTUELLE EXCLUSION PAR DES PRIMITIVES DISSYMETRIQUESMARINESCU M.1978; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1978; NO 144; PP. 1-6; H.T. 1; BIBL. 2 REF.Serial Issue

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

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

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

SYMMETRY IN SYSTEMS OF ASYNCHRONOUS PROCESSESBURNS JE.1981; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 22/1981/NASHVILLE TN; USA; NEW YORK: INSTITUTE OF ELECTRICAL & ELECTRONICS ENGINEERS; DA. 1981; PP. 169-174; BIBL. 7 REF.Conference Paper

A MODEL OF CONCURRENT DATABASE TRANSACTIONSSETHI R.1981; ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 22/1981/NASHVILLE TN; USA; NEW YORK: INSTITUTE OF ELECTRICAL & ELECTRONICS ENGINEERS; DA. 1981; PP. 175-184; BIBL. 15 REF.Conference Paper

A CLASSIFICATION OF PROCESS COORDINATION SCHEMES IN DESCRIPTIVE POWERMAEKAWA M.1980; INT. J. COMPUTER INF. SCI.; ISSN 0091-7036; USA; DA. 1980; VOL. 9; NO 5; PP. 383-406; BIBL. 22 REF.Article

REFLECTION ON THE IMPLEMENTATION OF A SOFTWARE DESIGNCHEN TLC.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 69-73; BIBL. 8 REF.Conference Paper

A STARVATION-FREE SOLUTION TO THE MUTUAL EXCLUSION PROBLEMMORRIS JM.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 2; PP. 76-80; BIBL. 6 REF.Article

PROWING TOTAL CORRECTNESS OF PARALLEL PROGRAMSBABICH AF.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 6; PP. 558-574; BIBL. 10 REF.Article

ARCHITECTURE D'UN SYSTEME TRANSACTIONNEL REPARTI: CONTROLE ET PLAN D'EXECUTIONLE ROCH MARIE FRANCE.1979; ; FRA; DA. 1979; PAG. MUTL.: ILL.; 30 CM; BIBL. 55 REF.; TH. 3E CYCLE: MATH., INF./PARIS 6/1979Thesis

MOTS DE SYNCHRONISATIONROUCAIROL GP.1978; R.A.I.R.O., INFORMAT.; FRA; DA. 1978; VOL. 12; NO 4; PP. 277-290; BIBL. 13 REF.Article

  • Page / 17