-
4
-
-
2342624363
-
Linking specification, abstraction, and debugging
-
University of Waterloo, Technical Report
-
J.P. Black, M.H. Coffin, D.J. Taylor, T. Kunz, A.A. Basten, Linking specification, abstraction, and debugging, University of Waterloo, Technical Report, 1994.
-
(1994)
-
-
Black, J.P.1
Coffin, M.H.2
Taylor, D.J.3
Kunz, T.4
Basten, A.A.5
-
5
-
-
0023347099
-
Monitoring distributed systems
-
J. Joyce, G. Lomow, K. Slind, B. Unger, Monitoring distributed systems, ACM Transactions on Computer Systems 5 (2) (1987) 121-150.
-
(1987)
ACM Transactions on Computer Systems
, vol.5
, Issue.2
, pp. 121-150
-
-
Joyce, J.1
Lomow, G.2
Slind, K.3
Unger, B.4
-
6
-
-
0346125240
-
Performance visualization and prediction of parallel supercomputer programs: An intern report
-
Technical Report 318, Indiana University
-
S.R. Sarukkai, Performance visualization and prediction of parallel supercomputer programs: an intern report, Technical Report 318, Indiana University, 1990.
-
(1990)
-
-
Sarukkai, S.R.1
-
7
-
-
0029409860
-
Performance visualization of a distributed system: A case study
-
H. Jakiela, Performance visualization of a distributed system: a case study, IEEE Computer 28 (11) (1995) 30-36.
-
(1995)
IEEE Computer
, vol.28
, Issue.11
, pp. 30-36
-
-
Jakiela, H.1
-
8
-
-
0029408647
-
The visual display of parallel performance data
-
M.T. Heath, A.D. Malony, D.R. Rover, The visual display of parallel performance data, IEEE Computer 28 (11) (1995) 21-28.
-
(1995)
IEEE Computer
, vol.28
, Issue.11
, pp. 21-28
-
-
Heath, M.T.1
Malony, A.D.2
Rover, D.R.3
-
9
-
-
0029479963
-
Parallel performance visualization: From practice to theory
-
M.T. Heath, A.D. Malony, D.R. Rover, Parallel performance visualization: from practice to theory, IEEE Parallel and Distributed Technology 3 (4) (1995) 44-60.
-
(1995)
IEEE Parallel and Distributed Technology
, vol.3
, Issue.4
, pp. 44-60
-
-
Heath, M.T.1
Malony, A.D.2
Rover, D.R.3
-
10
-
-
0021817749
-
Techniques for algorithm animation
-
M.H. Brown, R. Sedgewick, Techniques for algorithm animation, IEEE Software 2 (1) (1985) 28-39.
-
(1985)
IEEE Software
, vol.2
, Issue.1
, pp. 28-39
-
-
Brown, M.H.1
Sedgewick, R.2
-
12
-
-
0025480728
-
Tango: A framework and system for algorithm animation
-
J. Stasko, Tango: a framework and system for algorithm animation, IEEE Computer 23 (9) (1990) 27-39.
-
(1990)
IEEE Computer
, vol.23
, Issue.9
, pp. 27-39
-
-
Stasko, J.1
-
13
-
-
0038357014
-
Zeus: A system for algorithm animation and multi-view editing
-
M.H. Brown, Zeus: a system for algorithm animation and multi-view editing, Computer Graphics 18 (3) (1992) 177-186.
-
(1992)
Computer Graphics
, vol.18
, Issue.3
, pp. 177-186
-
-
Brown, M.H.1
-
15
-
-
0346897164
-
Collaborative active textbooks: A web-based algorithm animation system for an electronic classroom
-
DEC SRC Report 142
-
M.H. Brown, M.A. Najork, Collaborative active textbooks: a web-based algorithm animation system for an electronic classroom, DEC SRC Report 142, 1996.
-
(1996)
-
-
Brown, M.H.1
Najork, M.A.2
-
17
-
-
0003505511
-
Visualization of geometric algorithms in an electronic classroom
-
M. Shneerson, A. Tal, Visualization of geometric algorithms in an electronic classroom, Journal of Visual Languages and Computing 6 (6) (2000) 615-637.
-
(2000)
Journal of Visual Languages and Computing
, vol.6
, Issue.6
, pp. 615-637
-
-
Shneerson, M.1
Tal, A.2
-
18
-
-
84976741177
-
Voyeur: Graphical views of parallel programs
-
D. Socha, M.L. Baily, D. Notkin, Voyeur: graphical views of parallel programs, SIGPLAN Notices 24 (10) (1989) 206-215.
-
(1989)
SIGPLAN Notices
, vol.24
, Issue.10
, pp. 206-215
-
-
Socha, D.1
Baily, M.L.2
Notkin, D.3
-
19
-
-
38249012625
-
Pavane: A system for declarative visualization of concurrent computations
-
G.-C. Roman, K.C. Cox, D. Wilcox, J.Y. Plun, Pavane: a system for declarative visualization of concurrent computations, Journal of Visual Languages and Computing 3 (2) (1992) 161-193.
-
(1992)
Journal of Visual Languages and Computing
, vol.3
, Issue.2
, pp. 161-193
-
-
Roman, G.-C.1
Cox, K.C.2
Wilcox, D.3
Plun, J.Y.4
-
20
-
-
0001057813
-
A methodology for building application-specific visualizations of parallel programs
-
J. Stasko, E. Kraemer, A methodology for building application-specific visualizations of parallel programs, Journal of Parallel and Distributed Computing 18 (1) (1993) 258-264.
-
(1993)
Journal of Parallel and Distributed Computing
, vol.18
, Issue.1
, pp. 258-264
-
-
Stasko, J.1
Kraemer, E.2
-
21
-
-
0013445996
-
Visualization of message passing parallel programs with the TOPSYS parallel programming environment
-
T. Bemmerl, P. Braun, Visualization of message passing parallel programs with the TOPSYS parallel programming environment, Journal of Parallel and Distributed Computing 18 (1993) 118-128.
-
(1993)
Journal of Parallel and Distributed Computing
, vol.18
, pp. 118-128
-
-
Bemmerl, T.1
Braun, P.2
-
23
-
-
0031702629
-
Creating an accurate portrayal of concurrent executions
-
E. Kraemer, J.T. Stasko, Creating an accurate portrayal of concurrent executions, IEEE Concurrency 6 (1) (1998) 36-46.
-
(1998)
IEEE Concurrency
, vol.6
, Issue.1
, pp. 36-46
-
-
Kraemer, E.1
Stasko, J.T.2
-
24
-
-
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, Communication of the ACM 21 (7) (1978) 558-565.
-
(1978)
Communication of the ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
25
-
-
0023287946
-
Reliable communication in the presence of failures
-
K. Birman, T. Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems 5 (1) (1987) 47-76.
-
(1987)
ACM Transactions on Computer Systems
, vol.5
, Issue.1
, pp. 47-76
-
-
Birman, K.1
Joseph, T.2
-
26
-
-
0026219782
-
The casual ordering abstraction and a simple way to implement it
-
M. Raynal, A. Schiper, S. Toueg, The casual ordering abstraction and a simple way to implement it, Information Processing Letters 39 (6) (1991) 343-350.
-
(1991)
Information Processing Letters
, vol.39
, Issue.6
, pp. 343-350
-
-
Raynal, M.1
Schiper, A.2
Toueg, S.3
-
27
-
-
84979553513
-
A new algorithm to implement causal ordering
-
Third International Workshop on Distributed Algorithm, Springer, Berlin
-
A. Schiper, J. Eggli, A. Sandoz, A new algorithm to implement causal ordering, Third International Workshop on Distributed Algorithm, Lecture Notes in Computer Science, Vol. 393, Springer, Berlin, 1989, pp. 219-232.
-
(1989)
Lecture Notes in Computer Science
, vol.393
, pp. 219-232
-
-
Schiper, A.1
Eggli, J.2
Sandoz, A.3
-
29
-
-
0003629755
-
The Java language environment: A white paper
-
J. Gosling, H. McGilton, The Java language environment: a white paper, 1995. http://java.sun.com/docs/white/index.html
-
(1995)
-
-
Gosling, J.1
McGilton, H.2
-
30
-
-
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 (1) (1985) 63-75.
-
(1985)
ACM Transactions on Computer Systems
, vol.3
, Issue.1
, pp. 63-75
-
-
Chandy, K.M.1
Lamport, L.2
|