-
1
-
-
0028593260
-
Checkpointing Distributed Application on Mobile Computers
-
A. Acharya B, R. Badrinath Checkpointing Distributed Application on Mobile Computers Proc. 3rd Int. Conf. on PDIS 73 80 Proc. 3rd Int. Conf. on PDIS Austin 1994-Sept.
-
(1994)
, pp. 73-80
-
-
Acharya, A.1
Badrinath, B.R.2
-
2
-
-
0030170501
-
A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations
-
O. Babaoğlu E. Fromentin M. Raynal A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations Journal of Systems and Software 33 287 298 1996
-
(1996)
Journal of Systems and Software
, vol.33
, pp. 287-298
-
-
Babaoğlu, O.1
Fromentin, E.2
Raynal, M.3
-
3
-
-
0024123530
-
Independent Checkpointing and Concurrent Rollback for Recovery - An Optimistic Approach
-
B Bhargava S. R. Lian Independent Checkpointing and Concurrent Rollback for Recovery-An Optimistic Approach Proc. 7th IEEE SRDS 3 12 Proc. 7th IEEE SRDS 1988
-
(1988)
, pp. 3-12
-
-
Bhargava, B1
Lian, S.R.2
-
4
-
-
0021538527
-
A Distributed Domino-Effect Free Recovery Algorithm
-
D. Briatico A. Ciufoletti L. Simoncini A Distributed Domino-Effect Free Recovery Algorithm Proc. 4th IEEE Symp. on Reliability in Distributed Software and Database Systems 207 215 Proc. 4th IEEE Symp. on Reliability in Distributed Software and Database Systems Maryland 1984-October
-
(1984)
, pp. 207-215
-
-
Briatico, D.1
Ciufoletti, A.2
Simoncini, L.3
-
5
-
-
0022020346
-
Distributed Snapshots: Determining Global States of Distributed Systems
-
K. M. Chandy L. Lamport Distributed Snapshots: Determining Global States of Distributed Systems ACM Transactions on Computer Systems 3 l 63 75 1985
-
(1985)
ACM Transactions on Computer Systems
, vol.3
, Issue.l
, pp. 63-75
-
-
Chandy, K.M.1
Lamport, L.2
-
6
-
-
84976845978
-
Consistent Detection of Global Predicates
-
CA
-
D. Cooper K. Marzullo Consistent Detection of Global Predicates Proc. ACM/ONR Workshop on Par. and Dist. Debugging 167 174 Proc. ACM/ONR Workshop on Par. and Dist. Debugging Santa Cruz CA 1991
-
(1991)
, pp. 167-174
-
-
Cooper, D.1
Marzullo, K.2
-
7
-
-
0004096191
-
A Survey of Rollback-Recovery Protocols in Message-Passing Systems
-
E. N. Elnozahy D. B. Johnson Y. M. Wang A Survey of Rollback-Recovery Protocols in Message-Passing Systems 1996 CMU-CS-96-181 CarnegieMellon University
-
(1996)
-
-
Elnozahy, E.N.1
Johnson, D.B.2
Wang, Y.M.3
-
8
-
-
0026202534
-
Logical Time in Distributed Computing Systems
-
C. J. Fidge Logical Time in Distributed Computing Systems IEEE Computer 24 8 11 76 1991
-
(1991)
IEEE Computer
, vol.24
, Issue.8
, pp. 11-76
-
-
Fidge, C.J.1
-
9
-
-
85176669374
-
Distributed Causal Breakpoints
-
J. Fowler W. Zwaenepoel Distributed Causal Breakpoints Proc 10th IEEE Int. Conf. on DCS 134 141 Proc 10th IEEE Int. Conf. on DCS 1990-May
-
(1990)
, pp. 134-141
-
-
Fowler, J.1
Zwaenepoel, W.2
-
10
-
-
0030386136
-
Detection of Strong Unstable Predicates in Distributed Programs
-
V. K. Garg B. Waldecker Detection of Strong Unstable Predicates in Distributed Programs IEEE Trans. on PDS 7 12 1323 1333 December 1996
-
(1996)
IEEE Trans. on PDS
, vol.7
, Issue.12
, pp. 1323-1333
-
-
Garg, V.K.1
Waldecker, B.2
-
11
-
-
0009264772
-
Detection of Stable Properties in Distributed Applications
-
J.M. Helary C. Jard N. Plouzeau M. Raynal Detection of Stable Properties in Distributed Applications Proc. 6th ACM Symp. on PODC 125 136 Proc. 6th ACM Symp. on PODC 1987
-
(1987)
, pp. 125-136
-
-
Helary, J.M.1
Jard, C.2
Plouzeau, N.3
Raynal, M.4
-
12
-
-
24944469745
-
Communication-Based Prevention of Useless Checkpoints in Distributed Computations
-
J. M. Hélary A. Mostefaoui R. H. B. Netzer M. Raynal Communication-Based Prevention of Useless Checkpoints in Distributed Computations 1997 1105
-
(1997)
-
-
Hélary, J.M.1
Mostefaoui, A.2
Netzer, R.H.B.3
Raynal, M.4
-
13
-
-
0343843000
-
Efficient Distributed Detection of Conjunction of Local Predicates in Asynchronous Computations
-
M. Hurfin M. Mizuno M. Raynal M. Singhal Efficient Distributed Detection of Conjunction of Local Predicates in Asynchronous Computations Proc. 8th Int. IEEE SPDP 588 594 Proc. 8th Int. IEEE SPDP New-Orleans 1996-October
-
(1996)
, pp. 588-594
-
-
Hurfin, M.1
Mizuno, M.2
Raynal, M.3
Singhal, M.4
-
14
-
-
0022566239
-
A Scheme for Coordinated Execution of Independently Designed Recoverable Distributed Processes
-
K. H. Kim J. H. You A. Abouelnaga A Scheme for Coordinated Execution of Independently Designed Recoverable Distributed Processes Proc. 16th IEEE Symp. on FTCS 130 135 Proc. 16th IEEE Symp. on FTCS 1986
-
(1986)
, pp. 130-135
-
-
Kim, K.H.1
You, J.H.2
Abouelnaga, A.3
-
15
-
-
0023090161
-
Checkpointing and Rollback-Recovery for Distributed Systems
-
R. Koo S. Toueg Checkpointing and Rollback-Recovery for Distributed Systems IEEE Trans. on SE 13 1 23 31 1987
-
(1987)
IEEE Trans. on SE
, vol.13
, Issue.1
, pp. 23-31
-
-
Koo, R.1
Toueg, S.2
-
16
-
-
0017996760
-
Time, Clocks and the Ordering of Events in a Distributed System
-
L„ Lamport Time, Clocks and the Ordering of Events in a Distributed System Communications of the ACM 21 7 558 565 1978
-
(1978)
Communications of the ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L„1
-
17
-
-
0029723377
-
A Low Overhead Recovery Technique Using Quasi-Synchronous Checkpointing
-
D. Manivannan M„ Singhal A Low Overhead Recovery Technique Using Quasi-Synchronous Checkpointing Proc. of the 16th IEEE Int. Conf. on DCS 100 107 Proc. of the 16th IEEE Int. Conf. on DCS Hong-Kong 1996-May
-
(1996)
, pp. 100-107
-
-
Manivannan, D.1
Singhal, M„2
-
18
-
-
0024131314
-
Breakpoint and Halting in Distributed Programs
-
B. Miller J. Choi Breakpoint and Halting in Distributed Programs Proc. 8th IEEE Int. Conf. on DCS 316 323 Proc. 8th IEEE Int. Conf. on DCS San Jose 1988-May
-
(1988)
, pp. 316-323
-
-
Miller, B.1
Choi, J.2
-
19
-
-
0029255243
-
Necessary and Sufficient Conditions for Consistent Global Snapshots
-
R. H. B. Netzer J. Xu Necessary and Sufficient Conditions for Consistent Global Snapshots IEEE Trans. on PDS 6 2 165 169 1995
-
(1995)
IEEE Trans. on PDS
, vol.6
, Issue.2
, pp. 165-169
-
-
Netzer, R.H.B.1
Xu, J.2
-
20
-
-
0016522101
-
System Structure for Software Fault-Tolerance
-
B. Randell System Structure for Software Fault-Tolerance IEEE Trans. on SE SE1 2 220 232 1975
-
(1975)
IEEE Trans. on SE
, vol.SE1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
21
-
-
0000494607
-
State Restoration in Systems of Communicating Processes
-
D. L. Russell State Restoration in Systems of Communicating Processes IEEE Trans. on SE SE6 2 183 194 1980
-
(1980)
IEEE Trans. on SE
, vol.SE6
, Issue.2
, pp. 183-194
-
-
Russell, D.L.1
-
22
-
-
0027798414
-
Lazy Checkpoint Coordination for Bounding Rollback Propagation
-
Y. M. Wang W. F. Fuchs Lazy Checkpoint Coordination for Bounding Rollback Propagation Proc. 12th IEEE SRDS 78 85 Proc. 12th IEEE SRDS 1993-Oct.
-
(1993)
, pp. 78-85
-
-
Wang, Y.M.1
Fuchs, W.F.2
-
23
-
-
0031124071
-
Consistent Global Checkpoints That Contain a Given Set of Local Checkpoints
-
Y. M. Wang Consistent Global Checkpoints That Contain a Given Set of Local Checkpoints IEEE Trans. on Comp. 46 4 456 468 April 1997
-
(1997)
IEEE Trans. on Comp.
, vol.46
, Issue.4
, pp. 456-468
-
-
Wang, Y.M.1
-
24
-
-
0027810701
-
Adaptive Independent Checkpointing for Reducing Rollback propagation
-
J. Xu R. H. B. Netzer Adaptive Independent Checkpointing for Reducing Rollback propagation Proc. 5th IEEE SPDP 754 761 Proc. 5th IEEE SPDP Dallas 1993-Dec.
-
(1993)
, pp. 754-761
-
-
Xu, J.1
Netzer, R.H.B.2
|