-
1
-
-
0025399850
-
A message-optimal algorithm for distributed termination detection
-
Chandrasekaran, S. and Venkatesan, S., 1990, A message-optimal algorithm for distributed termination detection, Journal of Parallel and Distributed Computing, 8, 245-252.
-
(1990)
Journal of Parallel and Distributed Computing
, vol.8
, pp. 245-252
-
-
Chandrasekaran, S.1
Venkatesan, S.2
-
2
-
-
0022757368
-
An example of stepwise refinement of distributed programs: Quiescence detection
-
Chandy, M. and Misra, J., 1986, An example of stepwise refinement of distributed programs: quiescence detection, ACM Transactions on Programming Languages and Systems, 8(3), 326-343.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.3
, pp. 326-343
-
-
Chandy, M.1
Misra, J.2
-
4
-
-
0038587314
-
The PMESC programming library for distributed-memory MIMD computers
-
Crivelli, S. and Jessup, E.R., 1999, The PMESC programming library for distributed-memory MIMD computers, Journal of Parallel and Distributed Computing, 57, 295-321.
-
(1999)
Journal of Parallel and Distributed Computing
, vol.57
, pp. 295-321
-
-
Crivelli, S.1
Jessup, E.R.2
-
5
-
-
84982876650
-
Termination detection for diffusing computations
-
Dijkstra, E.W. and Scholten, C.S., 1980, Termination detection for diffusing computations, Information Processing Letters, 11(1), 1-4.
-
(1980)
Information Processing Letters
, vol.11
, Issue.1
, pp. 1-4
-
-
Dijkstra, E.W.1
Scholten, C.S.2
-
6
-
-
84876378219
-
Refinement-based validation of an algorithm for detecting distributed termination
-
Filali, M., Mauran, P., Padiou, G., Queinnec, P. and Thirioux, X., 2000, Refinement-based validation of an algorithm for detecting distributed termination, Lecture Notes in Computer Science, 1800, 1027-1036.
-
(2000)
Lecture Notes in Computer Science
, vol.1800
, pp. 1027-1036
-
-
Filali, M.1
Mauran, P.2
Padiou, G.3
Queinnec, P.4
Thirioux, X.5
-
7
-
-
3342923339
-
An efficient delay-optimal distributed termination detection algorithm
-
Department of Computer Science and Engineering, University at Buffalo
-
Mahapatra, N. and Dutt, S., An efficient delay-optimal distributed termination detection algorithm, Technical Report 2001-16, Department of Computer Science and Engineering, University at Buffalo, 2001.
-
(2001)
Technical Report
, vol.2001
, Issue.16
-
-
Mahapatra, N.1
Dutt, S.2
-
8
-
-
0032204577
-
A taxonomy of distributed termination detection algorithms
-
Matocha, J. and Camp, T., 1998, A taxonomy of distributed termination detection algorithms, The Journal of Systems and Software, 43, 207-221.
-
(1998)
The Journal of Systems and Software
, vol.43
, pp. 207-221
-
-
Matocha, J.1
Camp, T.2
-
9
-
-
0024606602
-
Global quiescence detection based on credit distribution and recovery
-
Mattern, F., 1989, Global quiescence detection based on credit distribution and recovery, Information Processing Letters, 30, 195-200.
-
(1989)
Information Processing Letters
, vol.30
, pp. 195-200
-
-
Mattern, F.1
-
10
-
-
0001167874
-
Efficient algorithms for distributed snapshots and global virtual time approximation
-
Mattern, F., 1993, Efficient algorithms for distributed snapshots and global virtual time approximation, Journal of Parallel and Distributed Computing, 18, 423-434.
-
(1993)
Journal of Parallel and Distributed Computing
, vol.18
, pp. 423-434
-
-
Mattern, F.1
-
11
-
-
0343645406
-
MPI2: A message passing interface standard
-
Message Passing Interface Forum, 1998, MPI2: A message passing interface standard, High Performance Computing Applications, 12(1/2), 1-299.
-
(1998)
High Performance Computing Applications
, vol.12
, Issue.1-2
, pp. 1-299
-
-
-
12
-
-
0020789582
-
A distributed solution of the distributed termination problem
-
Rana, S.P., 1983, A distributed solution of the distributed termination problem, Information Processing Letters, 17, 43-46.
-
(1983)
Information Processing Letters
, vol.17
, pp. 43-46
-
-
Rana, S.P.1
-
13
-
-
0037606617
-
A dynamic and adaptive quiescence detection algorithm
-
Parallel Programming Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign.
-
Sinha, A., Kale, L.V. and Ramkumar, B., 1993, A dynamic and adaptive quiescence detection algorithm, Technical Report 93-11, Parallel Programming Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign.
-
(1993)
Technical Report
, vol.93
, Issue.11
-
-
Sinha, A.1
Kale, L.V.2
Ramkumar, B.3
-
14
-
-
0027342053
-
The derivation of distributed termination detection algorithms from garbage collection schemes
-
Tel, G. and Mattern, F., 1993, The derivation of distributed termination detection algorithms from garbage collection schemes, ACM Transactions on Programming Languages and Systems, 15(1), 1-35.
-
(1993)
ACM Transactions on Programming Languages and Systems
, vol.15
, Issue.1
, pp. 1-35
-
-
Tel, G.1
Mattern, F.2
|