-
1
-
-
0025460579
-
A correctness condition for atomic objects
-
July
-
MAURICEP . HERLIHYJ, EANNETTME. WING Linearizability: A Correctness Condition for Atomic Objects, TOPLAS, 12(3), July 1990, pp. 463-492
-
(1990)
TOPLAS
, vol.12
, Issue.3
, pp. 463-492
-
-
Herlihyj, M.1
-
2
-
-
0027847578
-
The non-blocking write protocol nbw: A solution to a real-Time synchronisation problem
-
H. KOPETZ, J . REISINGET he Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem, Proceedings of the Real-Tame Systems Symposium, 1993, pp. 131-137
-
(1993)
Proceedings of the Real-Tame Systems Symposium
, pp. 131-137
-
-
Kopetz, H.1
Reisinget, J.2
-
4
-
-
0025488794
-
Priority inheritance protocols: An approach to real-Time synchronization
-
Sep
-
L. SHA AND R. RAJKUMARJ, . P . LEHOCZKY Priority Inheritance Protocols: An Approach to Real-Time Synchronization IEEE Transactions on Computers Vol. 39, 9 (Sep.) 1990, pp. 1175-1185
-
(1990)
IEEE Transactions on Computers
, vol.39
, Issue.9
, pp. 1175-1185
-
-
Sha, L.1
Rajkumarj, R.2
Lehoczky, P.3
-
5
-
-
0030382365
-
Shoa red memory consistency models: A tutorial
-
Dec
-
S. V. ADVE, K . GHARACHORLOShOa red Memory Consistency Models: A Tutorial, IEEE Computer, Dec. 1996, pp. 66-76
-
(1996)
IEEE Computer
, pp. 66-76
-
-
Adve, S.V.1
Gharachorlo, K.2
-
6
-
-
0025207941
-
Four-slot fully asynchronous communication mechanism
-
Jan
-
H. R. SIMPSONFo ur-slot fully asynchronous communication mechanism, TEE Proceedings, Jan. 1990, pp. 17-30
-
(1990)
TEE Proceedings
, pp. 17-30
-
-
Simpson, H.R.1
-
7
-
-
0038535223
-
A fully asynchronous reader/writer mechanism for multiprocessor real-Time systems
-
University of York May
-
J. CHEN, A. BURNS A Fully Asynchronous Reader/Writer Mechanism for Multiprocessor Real-Time Systems. Technical Report YCS-288, Department of Computer Science, University of York, May 1997
-
(1997)
Technical Report YCS-288, Department of Computer Science
-
-
Chen, J.1
Burns, A.2
-
8
-
-
0016470339
-
Hemachear real-Time system design methodology
-
Feb
-
P. SORENSENV, . HEMACHEAR Real-Time System Design Methodology, IIVFOR 13, 1 (Feb.) 1975, pp. 1-18
-
(1975)
IIVFOR
, vol.13
, Issue.1
, pp. 1-18
-
-
Sorensenv, P.1
-
9
-
-
0022873767
-
On interprocess communication, part i: Basic formalism, part II: Basic algorithms
-
L. LAMPORT On interprocess communication, part i: basic formalism, part ii: basic algorithms, Distributed Computing, 1986, pp. 77-101
-
(1986)
Distributed Computing
, pp. 77-101
-
-
Lamport, L.1
-
10
-
-
0030197411
-
VITANYHI ow to share concurrent wait-free variables
-
M. LI, J. TROMPP, . VITANYHI ow to share concurrent wait-free variables Journal of the ACM, July 1996, pp. 723-746
-
(1996)
Journal of the ACM, July
, pp. 723-746
-
-
Li, M.1
Trompp, J.2
-
11
-
-
0023982211
-
Snsynchronization in hard-real-Time systems
-
Mar
-
STUARTF AULKD, A VIDP ARNAOSn Synchronization in Hard-Real-Time Systems. Communication of ACM, Vol. 31, Mar. 1988, pp. 274-287
-
(1988)
Communication of ACM
, vol.31
, pp. 274-287
-
-
Aulkd, S.1
Vidparnao, A.2
|