IMPLEMENTING SEMAPHORES BY BINARY SEMAPHORESBARZ HW.1983; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1983; VOL. 18; NO 2; PP. 39-45; BIBL. 10 REF.Article

SYNCHRONIZATION BY MEANS OF CONSTRAINTS FORMULATION AND APPLICATIONS.BOKSENBAUM C; MUNTEAN T.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 9-18; BIBL. 4 REF.Conference Paper

Fusion by weakeningGREGOIRE, Eric.SPIE proceedings series. 2003, pp 251-255, isbn 0-8194-4959-8, 5 p.Conference Paper

Multiprocessor UNIX operating systemsBACH, M. J; BUROFF, S. J.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1733-1749, part 2Article

Proving failure-free properties of concurrent systems using temporal logicKARP, R. A.ACM transactions on programming languages and systems. 1984, Vol 6, Num 2, pp 239-253, issn 0164-0925Article

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

ALTERNATE SOLUTIONS TO THE CIGARETTE SMOKERS' PROBLEM WITHOUT CONDITIONALS.REDDI SS.1977; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1977; VOL. 6; NO 1; PP. 22-24; BIBL. 3 REF.Article

SOME EXTENDED SEMAPHORE PRIMITIVES.AGERWALA T.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 8; NO 3; PP. 201-220; BIBL. 16 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

THE IMPLEMENTATION OF CONCURRENCY FOR A PL/I-LIKE LANGUAGENEHMER J.1979; SOFTWARE-PRACT. EXPER.; GBR; DA. 1979; VOL. 9; NO 12; PP. 1043-1057; BIBL. 14 REF.Article

A SPECIALIZED PARALLEL MICROPROCESSING SYSTEMDESAI BC.1979; CANADIAN INFORMATION PROCESSING SOCIETY. DATA PROCESSING MANAGEMENT ASSOCIATION OF CANADA. FEDERATION DE L'INFORMATIQUE DU QUEBEC. CONFERENCE/1979/QUEBEC QUE.; CAN; TORONTO: CIPS/OTTAWA: DPMA CANADA/QUEBEC QUE.: FIQ; DA. 1979; PP. 309-315; ABS. FRE; BIBL. 29 REF.Conference Paper

COMMUTATION RELATIONS OF SLICES CHARACTERIZE SOME SYNCHRONIZATION PRIMITIVES.DOLEV D; SHAMIR E.1978; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1978; VOL. 7; NO 1; PP. 7-9; BIBL. 5 REF.Article

SYSTEM IMPLEMENTATION IN ALGOL 68-R.HOLDSWORTH D.1977; SOFTWARE-PRACT. EXPER.; G.B.; DA. 1977; VOL. 7; NO 3; PP. 331-339; BIBL. 8 REF.Article

Further comments on : A correct and unrestrictive implementation of general semaphoresTRONO, J. A; TAYLOR, W. E.Operating systems review. 2000, Vol 34, Num 3, pp 5-10, issn 0163-5980Article

Modeling VP operation: The Diwali Festival ProblemJOSHI, Rushikesh K; RAJAA, Subash.Operating systems review. 2005, Vol 39, Num 2, pp 51-53, issn 0163-5980, 3 p.Article

The probe: an addition to communication primitivesMARTIN, A. J.Information processing letters. 1985, Vol 20, Num 3, pp 125-130, issn 0020-0190Article

EFFICIENT SEMAPHORE MANAGEMENT USING READ/MODIFY/WRITE MEMORY CYCLESWEATHERLY RM JR; LEATHRUM JF.1982; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1982; VOL. 16; NO 1; PP. 10-13; BIBL. 1 REF.Article

A FORMAL SEMANTICS FOR CONCURRENT SYSTEMSSHIELDS MW; LAUER PE.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 571-584; BIBL. 9 REF.Conference Paper

DISTRIBUTED CONTROL SCHEMES FOR MULTIPLE-COPIED FILE ACCESS IN A NETWORK ENVIRONMENTCHIN HWA LEE; RAJAN SHASTRI; METZGER R et al.1977; COMPSAC 77. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 1/1977-11-08/CHICAGO; USA; NEW YORK: IEEE; DA. 1977; 723-728; BIBL. 6 REF.Conference Paper

A SIMULATION SEQUENCING ALGORITHM.MACEWEN GH.1977; SOFTWARE-PRACT. EXPER.; G.B.; DA. 1977; VOL. 7; NO 2; PP. 165-172; BIBL. 6 REF.Article

Comments on implementation of P and V primitives with help of binary semaphoresKOTULSKI, L.Operating systems review. 1988, Vol 22, Num 2, pp 53-59, issn 0163-5980Article

An Implementation of mutual inclusionHOOGERWOORD, R. R.Information processing letters. 1986, Vol 23, Num 2, pp 77-80, issn 0020-0190Article

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

Detecting race conditions in parallel programs that use semaphoresKLEIN, Philip N; LU, Hsueh-I; NETZER, Robert H. B et al.Algorithmica. 2003, Vol 35, Num 4, pp 321-345, issn 0178-4617, 25 p.Article

Page / 6