-
1
-
-
0024136681
-
Distributed debugging tools for heterogeneous distributed systems
-
P. Bates, “Distributed debugging tools for heterogeneous distributed systems,” Proc. 8th Int. Conf. Distrib. Computing Syst., 1988, pp. 308–315.
-
(1988)
Proc. 8th Int. Conf. Distrib. Computing Syst
, pp. 308-315
-
-
Bates, P.1
-
2
-
-
0022282104
-
Repeated snapshots in distributed systems with synchronous communication and their implementation in CSP
-
L. Bouge, “Repeated snapshots in distributed systems with synchronous communication and their implementation in CSP,” Theoretical Comput. Sci., vol. 49, pp. 145–169, 1987.
-
(1987)
Theoretical Comput. Sci
, vol.49
, pp. 145-169
-
-
Bouge, L.1
-
3
-
-
0022020346
-
Distributed snapshots: Determining global states of distributed systems
-
Feb
-
K. M. Chandy and L. Lamport, “Distributed snapshots: Determining global states of distributed systems,” ACM Trans. Comput. Syst., vol. 3, no. 1, pp. 63–75, Feb. 1985.
-
(1985)
ACM Trans. Comput. Syst
, vol.3
, Issue.1
, pp. 63-75
-
-
Chandy, K.M.1
Lamport, L.2
-
4
-
-
33747800567
-
An offline debugger for distributed programs
-
B. Chin, “An offline debugger for distributed programs,” M.S. Thesis, Dept. of Elec, and Comput. Eng., Univ. of Texas, Austin, TX, 1991.
-
(1991)
M.S. Thesis, Dept. of Elec, and Comput. Eng., Univ. of Texas, Austin, TX
-
-
Chin, B.1
-
8
-
-
0027116164
-
Some optimal algorithms for decomposed partially ordered sets
-
Nov
-
V. K. Garg, “Some optimal algorithms for decomposed partially ordered sets,” Information Processing Lett., vol. 44, pp. 39–43, Nov. 1992.
-
(1992)
Information Processing Lett
, vol.44
, pp. 39-43
-
-
Garg, V.K.1
-
9
-
-
0026851035
-
Concurrent regular expressions and their relationship to petri net languages
-
V.K. Garg and M.T. Raghunath, “Concurrent regular expressions and their relationship to petri net languages ” Theoretical Comput. Sci., vol. 96, pp. 285–304, 1992.
-
(1992)
Theoretical Comput. Sci
, vol.96
, pp. 285-304
-
-
Garg, V.K.1
Raghunath, M.T.2
-
10
-
-
80053238417
-
Detection of unstable predicate in distributed programs
-
Lecture Notes in Computer Science 652. New York: Springer-Verlag
-
V.K. Garg and B. Waldecker, “Detection of unstable predicate in distributed programs,” Proc. 12th Conf. Foundations of Software Tech. & Theoretical Comput. Sci., Lecture Notes in Computer Science 652. New York: Springer-Verlag, 1992, pp. 253–264.
-
(1992)
Proc. 12th Conf. Foundations of Software Tech. & Theoretical Comput. Sci
, pp. 253-264
-
-
Garg, V.K.1
Waldecker, B.2
-
11
-
-
0023826154
-
Global events and global breakpoints in distributed systems
-
Jan
-
D. Haban and W. Weigel, “Global events and global breakpoints in distributed systems,” Proc. 21st Int. Conf. Syst. Sci., vol. 2, pp. 166–175, Jan. 1988.
-
(1988)
Proc. 21st Int. Conf. Syst. Sci
, vol.2
, pp. 166-175
-
-
Haban, D.1
Weigel, W.2
-
12
-
-
84976666599
-
Detecting atomic sequences of predicates in distributed computations
-
San Diego, CA, May
-
M. Hurfin, N. Plouzeau, and M. Raynal, “Detecting atomic sequences of predicates in distributed computations,” Proc. ACM/ONR Workshop on Parallel and Distrib. Debugging, San Diego, CA, May 1993.
-
(1993)
Proc. ACM/ONR Workshop on Parallel and Distrib. Debugging
-
-
Hurfin, M.1
Plouzeau, N.2
Raynal, M.3
-
13
-
-
0025596879
-
Computing particular snapshots in distributed systems
-
J.-M. Helary, N. Plouzeau, and M. Raynal, “Computing particular snapshots in distributed systems,” Proc. 9th Ann. Int. Phoenix Conf. Comput. Communic., 1990, pp. 116–123.
-
(1990)
Proc. 9th Ann. Int. Phoenix Conf. Comput. Communic
, pp. 116-123
-
-
Helary, J.-M.1
Plouzeau, N.2
Raynal, M.3
-
14
-
-
33747806526
-
A debugger for distributed programs
-
G. Hoagland, “A debugger for distributed programs,” M.S. thesis, Dept. of Elec. and Comput. Eng., Univ. of Texas, Austin, TX, 1992.
-
(1992)
M.S. thesis, Dept. of Elec. and Comput. Eng., Univ. of Texas, Austin, TX
-
-
Hoagland, G.1
-
15
-
-
0003423423
-
Database System Concepts
-
New York: McGraw-Hill
-
H. Korth and A. Silberschatz, Database System Concepts, New York: McGraw-Hill, 1986.
-
-
-
Korth, H.1
Silberschatz, A.2
-
16
-
-
0017996760
-
Time, clocks and the ordering of events in a distributed system
-
July
-
L. Lamport, “Time, clocks and the ordering of events in a distributed system,” Communic. ACM, vol. 21, no. 7, pp. 558–565, July 1978.
-
(1978)
Communic. ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
18
-
-
0024877192
-
Debugging concurrent programs
-
Dec
-
C. E. McDowell and D. P. Helmbold, “Debugging concurrent programs,” ACM Computing Surv., vol. 21, pp. 593–622, Dec. 1989.
-
(1989)
ACM Computing Surv
, vol.21
, pp. 593-622
-
-
McDowell, C.E.1
Helmbold, D.P.2
-
20
-
-
0005061129
-
Detecting causal relationships in distributed computations: In search of the holy grail
-
R. Schwartz and F. Mattern, “Detecting causal relationships in distributed computations: In search of the holy grail,” Tech. Rep. SFB124-15/92, Dept. of Comput. Sci., Univ. of Kaiserslautern, Germany, 1992.
-
(1992)
Tech. Rep. SFB124-15/92, Dept. of Comput. Sci., Univ. of Kaiserslautern, Germany
-
-
Schwartz, R.1
Mattern, F.2
-
21
-
-
0022092438
-
The complexity of propositional linear temporal logic
-
A.P. Sistla and E.M. Clarke, “The complexity of propositional linear temporal logic,” J. ACM, vol. 32, no. 3, pp. 733–749, 1985.
-
(1985)
J. ACM
, vol.32
, Issue.3
, pp. 733-749
-
-
Sistla, A.P.1
Clarke, E.M.2
-
23
-
-
0024136011
-
A general approach to recognizing event occurrences in distributed computations
-
M. Spezialetti and P. Kearns, “A general approach to recognizing event occurrences in distributed computations,” Proc. 9th Int. Conf Distrib. Computing Syst., 1988, pp. 300–307.
-
(1988)
Proc. 9th Int. Conf Distrib. Computing Syst
, pp. 300-307
-
-
Spezialetti, M.1
Kearns, P.2
-
24
-
-
84976712168
-
Detecting relational global predicates in distributed systems
-
San Diego, CA, May
-
A. I. Tomlinson and V. K. Garg, “Detecting relational global predicates in distributed systems,” Proc. 3rd ACM/ONR Workshop on Parallel and Distrib. Debugging, San Diego, CA, May 1993, pp. 21–31.
-
(1993)
Proc. 3rd ACM/ONR Workshop on Parallel and Distrib. Debugging
, pp. 21-31
-
-
Tomlinson, A.I.1
Garg, V.K.2
-
25
-
-
80053264299
-
Detection of unstable predicates in debugging distributed programs
-
B. Waldecker, “Detection of unstable predicates in debugging distributed programs,” Ph.D. dissertation, Dept. of Elec. and Comput. Eng., Univ. of Texas, Austin, TX, 1991.
-
(1991)
Ph.D. dissertation, Dept. of Elec. and Comput. Eng., Univ. of Texas, Austin, TX
-
-
Waldecker, B.1
|