-
1
-
-
0027660422
-
Atomic snapshots of shared memory
-
Y. AFEK, H. ATTIYA, D. DOLEV, E. GAFNI, M. MERRITT, AND N. SHAVIT Atomic snapshots of shared memory. J. Assoc. Comp. Mach., 40:4(1993), 873-890.
-
(1993)
J. Assoc. Comp. Mach.
, vol.40
, Issue.4
, pp. 873-890
-
-
Afek, Y.1
Attiya, H.2
Dolev, D.3
Gafni, E.4
Merritt, M.5
Shavit, N.6
-
3
-
-
0001320033
-
Multi-writer comosite registers
-
Multi-writer comosite registers. Distributed Computing 7 (1994), pp. 175-195.
-
(1994)
Distributed Computing
, vol.7
, pp. 175-195
-
-
-
4
-
-
0347788805
-
Lock-free transactions for real-time systems
-
A. Bestavros, K.J. Lin, and S.H. Son, (eds.), Kluwer Academic Publishers, May
-
J. ANDERSON, S. RAMAMURTHY, M. MOIR, AND K. JEFFAY Lock-Free Transactions for Real-Time Systems. Real-Time Database Systems: Issues and Applications, A. Bestavros, K.J. Lin, and S.H. Son, (eds.), Kluwer Academic Publishers, pp. 215-234, May 1997.
-
(1997)
Real-Time Database Systems: Issues and Applications
, pp. 215-234
-
-
Anderson, J.1
Ramamurthy, S.2
Moir, M.3
Jeffay, K.4
-
7
-
-
0029267687
-
Fixed priority pre-emptive scheduling: An historical perspective
-
N.C. AUDSLEY, A. BURNS, R.I. DAVIS, K.W. TINDELL AND A.J.WELLINGS Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real-Time Systems, Vol. 8, Num. 2/3, pp. 129-154, 1995.
-
(1995)
Real-Time Systems
, vol.8
, Issue.2-3
, pp. 129-154
-
-
Audsley, N.C.1
Burns, A.2
Davis, R.I.3
Tindell, K.W.4
Wellings, A.J.5
-
8
-
-
0026118563
-
Stack-based scheduling on real-time processes
-
March
-
T. BAKER Stack-based scheduling on real-time processes. Real-Time Systems, 3(1), pp. 97-69, March 1991.
-
(1991)
Real-Time Systems
, vol.3
, Issue.1
, pp. 69-97
-
-
Baker, T.1
-
9
-
-
0003009258
-
Asynchronous data sharing in muliprocessor real-time systems using process consensus
-
also Research report, Department of Computer Science, Un. of York, 1997
-
J. CHEN AND A. BURNS Asynchronous Data Sharing in Muliprocessor Real-Time Systems Using Process Consensus. 10th Euromicro Workshop on Real-Time Systems, 1998. also Research report, Department of Computer Science, Un. of York, 1997.
-
(1998)
10th Euromicro Workshop on Real-Time Systems
-
-
Chen, J.1
Burns, A.2
-
10
-
-
0343622149
-
Wait-free synchronization
-
Jan.
-
M. HERLIHY Wait-Free Synchronization. ACM TOPLAS, Vol. 11, No. 1, Jan. 1991, pp. 124-149.
-
(1991)
ACM TOPLAS
, vol.11
, Issue.1
, pp. 124-149
-
-
Herlihy, M.1
-
11
-
-
0028461275
-
Reading many variables in one atomic operation: Solutions with linear or sublinear complexity
-
July
-
L.M. KIROUSIS, P. SPIRAKIS AND PH. TSIGAS Reading Many Variables in One Atomic Operation: Solutions with Linear or Sublinear Complexity. IEEE Transactions on Parallel and Distributed Systems, 5(7), pp. 688-696, July 1994.
-
(1994)
IEEE Transactions on Parallel and Distributed Systems
, vol.5
, Issue.7
, pp. 688-696
-
-
Kirousis, L.M.1
Spirakis, P.2
Tsigas, P.H.3
-
12
-
-
0027847578
-
The non-blocking write protocol NBW: A solution to a real-time synchronization problem
-
H. KOPETZ AND J. REISINGER The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronization Problem. Proc. of the 14th Real-Time Systems Symp., pp. 131-137, 1993.
-
(1993)
Proc. of the 14th Real-Time Systems Symp.
, pp. 131-137
-
-
Kopetz, H.1
Reisinger, J.2
-
13
-
-
0017555081
-
Concurrent reading and writing
-
Nov.
-
L. LAMPORT Concurrent Reading andWriting. Comm. of the ACM, Vol. 20, No. 1, Nov. 1977, pp. 806-811.
-
(1977)
Comm. of the ACM
, vol.20
, Issue.1
, pp. 806-811
-
-
Lamport, L.1
-
14
-
-
0022873767
-
On interprocess communication, part i: Basic formalism, Part II: Basic algorithms
-
L. LAMPORT (1986) On interprocess communication, part i: Basic formalism, part ii: Basic algorithms. Distributed Computing 1, 77-101.
-
(1986)
Distributed Computing
, vol.1
, pp. 77-101
-
-
Lamport, L.1
-
16
-
-
85051434412
-
-
Software Engineering Institute, Carnegie Mellon University, December
-
C.D. LOCKE, L. LUCAS, AND J. GOODENOUGHGeneric Avionics Software Specification, Technical Report CMU/SEI-90-TR-8, Software Engineering Institute, Carnegie Mellon University, December 1990.
-
(1990)
Generic Avionics Software Specification, Technical Report CMU/SEI-90-TR-8
-
-
Locke, C.D.1
Lucas, L.2
Goodenough, J.3
-
21
-
-
0025488794
-
Priority inheritance protocols: An approach to real-time synchronization
-
Sep
-
L. SHA, R. RAJKUMAR, AND J. P. LEHOCZKY Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. on Computers, vol. 39, pp. 1175-1185, Sep. 1990.
-
(1990)
IEEE Trans. on Computers
, vol.39
, pp. 1175-1185
-
-
Sha, L.1
Rajkumar, R.2
Lehoczky, J.P.3
-
22
-
-
0016470339
-
A real-time system design methodology
-
Feb
-
P. SORENSEN AND V. HEMACHER A Real-Time System design Methodology. INFOR, 13(1), Feb 1975, pp.1-18.
-
(1975)
INFOR
, vol.13
, Issue.1
, pp. 1-18
-
-
Sorensen, P.1
Hemacher, V.2
-
23
-
-
84882649049
-
Analysing real-time communications: Controller Area Network (CAN)
-
K.W. TINDELL AND H. HANSSON AND A.J. WELLINGS Analysing Real-Time Communications: Controller Area Network (CAN). Proc. of IEEE RTSS'94, pp. 259-263, 1994.
-
(1994)
Proc. of IEEE RTSS'94
, pp. 259-263
-
-
Tindell, K.W.1
Hansson, H.2
Wellings, A.J.3
|