Go up to Top
References
- [1]
-
Wolfgang Schreiner.
On Engineering a Distributed Algorithm.
Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion
Symposium with Industrial Forum, April 26-27, 1999, Hagenberg, Austria,
Austrian Technion Society, Vienna, pp. 110-116.
- [2]
-
P. Kacsuk and R.Lovas and J.Kovács.
Systematic Debugging of Parallel Programs in DIWIDE Based on Collective
Breakpoints and Macrosteps.
5th International Euro-Par Conference, Toulouse, France, pp.90-97, 1999.
- [3]
-
D. Kranzlmüller and J. Volkert.
NOPE: A Nondeterministic Program Evaluator.
ACPC'99 International Conference, Salzburg, Austria, pp. 490-499, February
1999.
- [4]
-
Leslie Lamport.
The Temporal Logic of Actions.
ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
- [5]
-
Zohar Manna and Amir Pnueli.
Temporal Verification of Reactive Systems - Safety.
Springer, New York, 1995.
- [6]
-
K.L. McMillan.
Symbolic Model Checking.
Kluer Academic Publishers, 1993.
- [7]
-
R.P. Kurshan.
Computer Aided Verification of Coordinating Processes.
Princeton University Press, 1994.
- [8]
-
P. Kacsuk, G. Dozsa, R. Lovas.
The GRADE Graphical Parallel Programming Environment.
in: P. Kacsuk, J.C. Cunha and S.C. Winter,
"Parallel Program Development for Cluster Computing:
Methodology, Tools and Integrated Environments",
Nova Science, Chapter 10, 2000.
- [9]
-
Kacsuk, P.
Macrostep-by Macrostep Debugging of Message Passing Parallel Programs.
in: 1998 Parallel and Distributed Computing and Systems proceedings,
PDCS'98, Las Vegas, Nevada, USA, 1998, pp. 527-531.
- [10]
-
D. Kranzlmüller, S. Grabner, J. Volkert.
Debugging with the MAD Environment.
Parallel Computing, Vol. 23, No. 1-2, pp. 199-217 (Apr. 1997).
- [11]
-
D. Kranzlmüller, S. Grabner, J. Volkert.
Event Graph Visualization for Debugging Large Applications.
Proc. SPDT'96, ACM SIGMETRICS Symp. on Parallel and Distr. Tools,
Philadelphia, USA, pp. 108-117 (May 1996).
- [12]
-
B.W. Boehm.
Seven Basic Principles of Software Engineering.
Journal of Systems and Software, Vol. 3, No. 1, pp. 3-24 (March 1983).
- [13]
-
Ch.E. McDowell, D.P. Helmbold.
Debugging Concurrent Programs.
ACM Computing Surveys, Vol. 21, No. 4, pp. 593-622 (December 1989).
- [14]
-
C.M. Pancake, R.H.B. Netzer.
A Bibliography of Parallel Debuggers, 1993 Edition.
Proc. of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging,
San Diego, CA, USA (May 1993).