-
1
-
-
0025564050
-
Implementing fault-tolerant services using the state machine approach: A tutorial
-
Schneider F 1990 Implementing fault-tolerant services using the state machine approach: A tutorial ACM Comput. Surveys 22 299-319
-
(1990)
ACM Comput. Surveys
, vol.22
, pp. 299-319
-
-
Schneider, F.1
-
3
-
-
0003289939
-
Delta-4: A generic architecture for dependable computing
-
Powell D (ed) Berlin: Springer
-
Powell D (ed) 1991 Delta-4: A generic architecture for dependable computing Research Reports ESPRIT vol 1 (Berlin: Springer)
-
(1991)
Research Reports ESPRIT
, vol.1
-
-
-
5
-
-
0024612269
-
Distributed fault-tolerant real-time systems: The Mars approach
-
February
-
Kopetz H, Damm A, Koza C, Mulazzani M, Schwabl W, Senft C and Zainlinger R 1989 Distributed fault-tolerant real-time systems: The Mars approach IEEE Micro February pp 25-40
-
(1989)
IEEE Micro
, pp. 25-40
-
-
Kopetz, H.1
Damm, A.2
Koza, C.3
Mulazzani, M.4
Schwabl, W.5
Senft, C.6
Zainlinger, R.7
-
7
-
-
0001847842
-
Consul: A communication substrate for fault-tolerant distributed programs
-
Mishra S, Peterson L L and Schlichting R D 1992 Consul: A communication substrate for fault-tolerant distributed programs Distrib. Syst. Engng 1 112-21
-
(1992)
Distrib. Syst. Engng
, vol.1
, pp. 112-121
-
-
Mishra, S.1
Peterson, L.L.2
Schlichting, R.D.3
-
8
-
-
53349165047
-
The Totem system
-
Los Alamitos, CA: IEEE Computer Society Press
-
Moser L, Melliar-Smith P, Agrawak D, Budhia R, Lingley-Papadopoulos C and Archambault T 1995 The Totem system Proc. 25th Symp. on Fault-Tolerant Computing (Pasadena, CA) (Los Alamitos, CA: IEEE Computer Society Press) pp 76-84
-
(1995)
Proc. 25th Symp. on Fault-Tolerant Computing (Pasadena, CA)
, pp. 76-84
-
-
Moser, L.1
Melliar-Smith, P.2
Agrawak, D.3
Budhia, R.4
Lingley-Papadopoulos, C.5
Archambault, T.6
-
10
-
-
0019047765
-
On evaluating the performability of degradable computing systems
-
Meyer J F 1980 On evaluating the performability of degradable computing systems IEEE Trans. Comput. C-22 720-31
-
(1980)
IEEE Trans. Comput.
, vol.C-22
, pp. 720-731
-
-
Meyer, J.F.1
-
11
-
-
0026707014
-
A unified framework for simulating Markovian models of highly dependable systems
-
Goyal A, Shahabuddin P, Heidelberger P, Nicola V F and Glynn P W 1922 A unified framework for simulating Markovian models of highly dependable systems IEEE Trans. Comput. 41 36-51
-
(1922)
IEEE Trans. Comput.
, vol.41
, pp. 36-51
-
-
Goyal, A.1
Shahabuddin, P.2
Heidelberger, P.3
Nicola, V.F.4
Glynn, P.W.5
-
12
-
-
0022197081
-
Stochastic activity networks: Structure, behavior, and application
-
Los Alamitos, CA: IEEE Computer Society Press
-
Meyer J F, Movaghar A and Sanders W H 1985 Stochastic activity networks: Structure, behavior, and application Proc. Int. Workshop on Timed Petri Nets (Torino) (Los Alamitos, CA: IEEE Computer Society Press) pp 106-15
-
(1985)
Proc. Int. Workshop on Timed Petri Nets (Torino)
, pp. 106-115
-
-
Meyer, J.F.1
Movaghar, A.2
Sanders, W.H.3
-
13
-
-
0026054286
-
Reduced base model construction methods for stochastic activity networks
-
Sanders W H and Meyer J F 1991 Reduced base model construction methods for stochastic activity networks IEEE J. Selected Areas Commun. 9 25-36
-
(1991)
IEEE J. Selected Areas Commun.
, vol.9
, pp. 25-36
-
-
Sanders, W.H.1
Meyer, J.F.2
-
16
-
-
0042003580
-
Construction and solution of performability models based on stochastic activity networks
-
The University of Michigan, Ann Arbor, MI
-
Sanders W H 1988 Construction and solution of performability models based on stochastic activity networks Computing Research Laboratory Technical Report CRL-TR-9-88 The University of Michigan, Ann Arbor, MI
-
(1988)
Computing Research Laboratory Technical Report CRL-TR-9-88
-
-
Sanders, W.H.1
-
18
-
-
0008440668
-
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
-
Los Alamitos, CA: IEEE Computer Society Press
-
Lindemann C 1991 An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models Proc. 4th Int. Workshop on Petri Nets and Performance Models (Melbourne) (Los Alamitos, CA: IEEE Computer Society Press) pp 176-85
-
(1991)
Proc. 4th Int. Workshop on Petri Nets and Performance Models (Melbourne)
, pp. 176-185
-
-
Lindemann, C.1
|