BIBLIOGRAPHY
[Adam80]
Adam. A., and J. P. Laurent, Laura, a System to Debug Student Programs, Artificial Intelligence, November 1980.
[Adam86]
Adams, Evan, and Muchnich, Steven S. A window-based symbolic debugger for Sun workstations. Software - Practice and Experience, 16(7):653-699, July 1986.
[Aho79]
Aho, Alfred V. and Ullman, Jeffrey D. Principles of Compiler Design. Addison-Wesley Publishing Company, Reading, Massachusetts, 1979.
[Alle86]
Allen, Randy et al. PTOOL: A semi-automatic parallel programming assistant. In proceedings of 1986 International Conference on Parallel Processing, pages 164-170, August 1986.
[Alle87]
Allen, T. R., and Pardua, D. A. Debugging Fortran on a shared memory machine. In Proceedings of the 1987 International Conference on Parallel Processing, pages 721-727, University Park, PA, August 1987.
[Ande83]
Anderson, John R. The Architecture of Cognition.Harvard University Press, Cambridge, Massachusetts, 1983.
[Ande86]
Anderson, John R. The Architecture of Cognition. Harvard University Press, Cambridge, Massachusetts, 1986.
[Ande87]
Anderson, John R. Production Systems, Learning, and Tutoring. In David Klahr, Pat Langley and Robert Neches, Editors, Production System Models of Learning and Development, pages 437-458, The MIT Press, Cambridge Massachusetts, 1987.
[Ande88]
Anderson, John R. Learning to Program Recursive Functions. In Michelene T. H. Chi, Robert Glaser and Marchall J. Farr, editors, The Nature of Expertise, pages 153-183, Lawrence Erlbaum Associates, Publishers, Hillsdale, New Jersey, 1988.
[Appe88]
Appelbe, B. and McDowell, C. E. Developing multitasking applications programs. In Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, pages 94-101, January 1988.
[Appe85]
Appelbe, Willian F. and McDowell, C. E. Anomaly reporting: A tool for debugging and developing parallel numerical algorithms. In Proceedings of the First International Conference on Supercomputing Systems, pages 386-391, 1985.
[Appe89]
Appelbe, Willian F. and McDowell, C. E. Integrating tools for debugging and developing multitasking programs. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):78-88, January 1989.
[Aral89]
Aral, Ziya and Gertner, Iiya. High-level debugging in Parasight. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in the ACM SIGPLAN Notices, 24(1):151-162, January 1989.
[Baia83]
Baiardi, F. et al. Development of a debugger for a concurrent language. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-level Debugging, published in ACM SIGPLAN Notices, 18(8):98-106, August 1983.
[Bail88]
Bailey, Mary L., Socha D., and Notkin D. Debugging parallel programming using graphical views. In Proceedings of the 1988 International Conference on Parallel Processing, pages 46-49, St. Charles, IL, August 1988.
[Band89]
Banda, Venu P. and Volz, Richard A. Architectural support for debugging and monitoring real-time software. In Proceedings of Euromicro'80, pages 200-210. North-Holland, New York, 1989.
[Barr81]
Barr, Avron and Feigenbaum, Edward A. The Handbook of Artificial Intelligence. Volume 1, Pitman Books Limited, London, 1981.
[Barr82]
Barr, Avron and Feigenbaum, Edward A. The Handbook of Artificial Intelligence. Volume 3, Pitman Books Limited, London, 1982.
[Bate89]
Bates, Peter. Debugging heterogeneous distributed systems using event-based models of behavior. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):11-22, January 1989.
[Bate83]
Bates, Peter and Wileden, Jack C. An approach to high-level debugging of distributed systems. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-level Debugging, published in ACM SIGPLAN Notices, 18(8):107-111, August 1983.
[Bela84]
Belady, L. A. and Hosakawa, K. Visualization of independence and dependance for program concurrency. In Proceedings of the IEEE 1984 Workshop on Visual languages, pages 177-183, 1984.
[Bemm86]
Bemmerl, Thomas. Realtime high level debugging in host/target environments. In Proceedings of Euromicro'86, pages 387-400. North-Holland, New York, 1986.
[Bemm87]
Bemmerl, Thomas and Schoeder, G. A portable realtime multitasking kernel with debugging support. In Proceedings of International Conference on Software Engineering for Real Time Systems, pages 165-171, Cirencester, U.K., September 1987.
[Ben-82]
Ben-Ary, M. Principles of Concurrent Programming. Prentice-Hall, Englewood Clifts, N.J., 1982.
[Bhat82]
Bhatt, Devesh and Schroeder, Michael. A comprehensive approach to instrumentation for experimentation in a distributed computing environment. In Proceedings of the Third International Conference on Distributed Computing Systems, pages 330-340, 1982.
[Blak80]
Blake, R. XRAY: Instrumentation for multiple computers. In Information Processing 80, Proceedings of the IFIP Eighth World Computer Congress, May 1980.
[Boar84]
Boari, Maurelio et al. Multiple-microprocessor programming techniques: MML, a new set of tools. Computer 14(1):47-59, January 1984.
[Bohm66]
Bohm, C. & Jacopini, G. Flow Diagrams, Turing Machines and Languages with only Two Formation Rules. Comm. ACM Vol. 9, No. 5, pp. 366-371, 1966
[Borl87]
Turbo Pascal Editor ToolBox, Version 4.0, Borland International, Inc., Scotts Valley, CA, 1987.
[Borl89]
Turbo Pascal Reference Guide/ User's Guide, Version 5.0, Borland International, Inc., Scotts Valley, CA, 1989.
[Bran87]
Brandis, Craig and Thakkar, Ahreekant S. A parallel program event monitor. In Proceedings of the Twentieth Annual Hawaii International Conference on Systems Sciences, pages 141-151, January 1987.
[Brue88]
Bruegge, Bernd. Program development for a systolic array. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 249(1):174-182, January 1989.
[Burd89]
Burdorf, Christopher et al. A multiprocessor execution profiler. In Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, pages 524-532, January 1989.
[Burn87]
Burns, A. Concurrent Programming in Ada. Cambridge University Press, Cambridge, England, 1987.
[Bust90]
Dustard, David W. Concepts of Concurrent Programming. Curriculum Module CM-24. Pittsburgh, PA: Software Engineering Institute, April 1990.
[Cail87]
Caillet, Jean-Francois, et al. High level interpretation of execution traces of Ada tasks. In Proceedings of the First European Software Engineering Conference, pages 301-317, 1987.
[Call87]
Callahan, David, et al. Parallel programming support in ParaScope. Technical Report TR87-59, Rice University, Department of Computer Science, 1987.
[Call89]
Callahan, David and Subhlok, Jaspal. Static analysis of low-level synchronization. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):100-111, January 1989.
[Call90]
Callahan, David, et al. Analysis of event driven synchronization in a parallel programming tool. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 21-30, Seattle WA, March 1990.
[Came89a]
Cameron, E. Jane, et al. InfoProbe: a utility for animation of IC* programs. In Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, pages 126-133, January 1989.
[Came89b]
Cameron, E. Jane and Cohen, David M. The IC* system for debugging parallel programs via interactive monitoring and control. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, Published in ACM SIGPLAN Notices, 24(1):261-270, January 1989.
[Carg86]
Cargill, T. A. Pi: A case study in object-oriented programming. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, published in ACM SIGPLAN Notices, 21(11):350-360, November 1986.
[Carl87]
Carle, Allan, et al. A Practical Environment for Semantic Programming. IEEE Computer, 20(11):75-89, November 1987.
[Casw89]
Caswell, Deborath and Black, David. Implementing a Mach Debugger for Multithreaded Applications. Carnegie Mellon University, Technical Report CMU-CS-89-154.
[Chen88]
Cheng, Jingde et al. Detecting Tasking Communication Deadlocks in Concurrent Ada Programs. In Proceedings of the International Computer Science Conference '88, pages 138-145, Hong Kong, December 1988.
[Chen89a]
Cheng, Jingde and Ushijima, Kazuo. Naming Ada tasks at run- time. ACM Ada Letters, 9(2):52-61, February 1989.
[Chen89b]
Cheng, Jingde and Ushijima, Kazuo. Partial Order Transparency: A Minimum Requirement for Monitoring Concurrent Systems. In Proceedings of the Second International Workshop on Software Engineering and its Applications, pages 827-839, Tolouse, France, December 1989.
[Coop87]
Cooper, Robert. Pilgrim: A Debugger for Distributed Systems. Technical Report 119, University of Cambridge, Computer Laboratory, October 1987.
[Cors86]
Corsini, Paolo and Prete, Cosimo Antonio. Multibug: Interactive Debugging in Distributed Systems. IEEE Micro, 6(3):26-33, June 1986.
[Couc88]
Couch, Alva L. Graphical Representation of Program Performance on Hypercube Message Passing Multiprocessors. Technical Report 88-4, Tufts University, Department of Computer Science, April 1988.
[Cunn87]
Cunniff, Nancy and Taylor, Robert P. Graphical vs. Textual Representation: An Empirical Study of Novices' Program Comprehension. In Gary M. Olson, Sylvia Sheppard, and Elliot Soloway. editors, Empirical Studies of Programmers: Second Workshop, pages 114-131, Ablex Publishing Corporation, Norwood, New Jersey, 1987.
[Curt82]
Curtis, R. and Wittie, L. Bugnet: A Debugging System for Parallel Programming Environments. In Proceedings of the Third International Conference on Distributed Computing Systems, pages 394-399, 1982.
[Davi88]
Davis, Heln and Hennessy, John. Characterizing the Syncronization behavior of Parallel Programs. Proceedings of the ACM/SIGPLAN PPEALS(Parallel Programming: Experience with Applications, languages and Systems), published in ACM/SIGPLAN Notices, 23(9):198-211, September 1988.
[Deit84]
Deitel, Harvey M. An introduction to operating systems, Addison-Wesley, Reading, MA 1990.
[Dinn90]
Dinning, Anne and Schonberg, Edith. An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1-10, Seatle WA, March 1990.
[DiNu88]
DiNucci, D. C. and Babb II, R. G. Practical Support for Parallel Programming. In Proceedings of the Twenty-First Hawaii International Conference on System Sciences, pages 109-118, January 1988.
[Disz88]
Disz, Terry and Lusk, Ewing. A Graphical Tool for Observing the Behavior of Parallel Logic Programs. Technical Report CSRD 746, Argone National Laboratory, February 1988.
[DoD83]
U. S. Department of Defense. Reference Manual for the Ada Programming Language. ANSI/MIL-STD 1815A, 1983.
[Dong90]
Dongarra, Jack et al. A Tool to Aid in the Design, Implementation, and Understanding of Matrix Algorithms for Parallel Processors. Journal of Parallel and Distributed Computing, 9:185-202, June 1990.
[Dubo86]
Dubois, M. et al. Trace-Driven Simulations of Parallel and Distributed Algorithms in Multiprocessors. In Proceedings of the 1986 International Conference on Parallel Processing, pages 909-916, August 1986.
[Egge88]
Eggers, Susan J. and Katz, Randy H. A Characterization in Parallel Programs and its Applications to Coherency Protocol Evaluation. In Proceedings of the Fifth Annual International Symposium on Computer Architercture, pages 373-382, May 1988.
[Elsh89]
Elshoff, I. J. P. A Distributed Debugger for Amoeba. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Paralleland Distributed Debugging, published in ACM SIGPLAN Notices, 24(1)-10, January 1989.
[El-K91]
El-Kadi, Amr and Feldman, Michael B. Small Ada: Task Schedulling Policies. The George Washington University, Technical Report GWU-IIST-91-11.
[Emra89a]
Emrath, Perry A. et al. Event Synchronization Analysis for Debugging Parallel Programs. In Proceedings of Supercomputing'89, pages 580-588, Reno NV, November 1989.
[Emra89b]
Emrath, Perry A. and Padua, David A. Automatic Detection of Nondeterminacy in Parallel Programs. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):89-99, January 1989.
[Feld85]
Feldman, Michael B. Data Structures with Ada. Reston Publishing Company, Inc. Reston, VA, 1985.
[Feld89]
Feldman, Michael B. and Moran, Melinda L. Validating a Graphical-Assited Debugging Tool for Ada Concurrent programs. IEEE Transactions on Software Engineering, March 1989.
[Feld90a]
Feldman, Michael B., Lopes, Arthur V. and Perez, Manuel. Small-Ada: personal computer courseware for studying concurrent programming. Proceedings of the Twenty-First SIGCSE Technical Symposium on Computer Science Education, Washington, DC, February 1990.
[Feld90b]
Feldman, Michael B. Language and System Support for Concurrent Programming. Curriculum Module CM-25. Pittsburg, PA: Software Engineering Institute, April 1990.
[Felt86]
Felten, Edward, Karlin, Scott and Otto, Steve W. , "The Travelling Salesman Problem on a hypercubic, MIMD computer", Proceedings of the 1986 International Conference on Parallel Processing, pp. 6-10, August 1986.
[Feig82]
Feigenbaum, Edward A. Knowledge Engineering in the 1980's, Dept. of Computer Science, Stanford University, Stanford CA, 1982.
[Felt86]
Felten, E., Karlin, S. and Otto, S. W. The Traveling Salesman Problem on an Hypercubic, MIMD computer. Proceedings of the 1986 International Conference on Parallel Processing, pp. 6-10, August 1996,
[Fidg87]
Fidge, C. J. Reproducible Tests in CSP. Australian Computer Journal, 19(2):92-98, May 1987.
[Fidg89]
Fidge, C. J. Partial Orders for Parallel Debugging. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distrubuted Debugging. Published in ACM SIGPLAN Notices, 24(1):183-194, January 1989.
[Fowl90]
Fowler, Robert Jerry and Zwaenepoel, Willy. Causual Distributed Breakpoints. In Proceedings of the Tenth International Conference on Distributed Computing Systems, pages 134-141, Paris, France, May 1990.
[Fowl89]
Fowler, Robert Jerry, LeBlank, Thomas J. and Mellor-Crummey, John M. An Integrated Approach to Parallel Program Debugging and Performance Analysis on Large-Scale Multiprocessors. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):163-173, January 1989.
[Gagl86]
Gaglianello, Robert D. and Katseff, Howard P. The Meglos User Interface. In Proceedings of the Fall Joint Computer Conference, pages 169-177, 1986.
[Gait85]
Gait, Jason. A Debugger for Concurrent Programs. Software - Practice and Experience, 15(6):539-554, June 1985.
[Gait86]
Gait, Jason. A Probe Effect in Concurrent Programs. Software - Practice and Experience, 16(3):225-233, March 1986.
[Gait89]
Gait, Jason et al. Interactive Monitor for a Communication Kerner. Computer Systems Science and Engineering, 4(3):154- 160, July 1989.
[Garc85]
Garcia, Miguel E. and Berman, W. Joseph. An Approach to Concurrent Systems Debugging. In Proceedings of the Fifth International Conference on Distributed Computing Systems, pages 507-514, Denver CO, May 1985.
[Garc84]
Garcia-Milina, Hector et al. Debugging a Distributed Computing System. IEEE Transactions on Software Engineering, SE-10(2):210-219, March 1984.
[Gaur89]
Gaur, Yogesh et al. An Environment for Performance Experimentation on Multiprocessors. In Proceedings of Supercomputing'89, pages 589-596, Reno NV, November 1989.
[Geha84]
Gehani, N. Ada: concurrent programing. Prentice-Hall, 1984.
[Germ84]
German, S. M. Monitoring for Deadlock and Blocking in Ada Tasking. IEEE Transactions on Software Engineering, SE-10(6):764-777, November 1984.
[Giar89]
Giarratano, Joseph C. and Riley, Gary. Expert Systems - Principles and Programming. PWS-Kent Publishing Company, Boston, Massachusetts, 1989.
[Gjes89]
Gjessing, Stein and Munthe-Kaas, Ellen. Trace Based Verification of Parallel Programs with Shared Variables.In Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, pages 305-311, January 1989.
[Gold87]
Goldszmidt, German S. et al. Interactive Blackbox Debugging for Concurrent Languages.Technical Report 469, Israel Institute of Technology, Department of Computer Science, November 1987.
[Greg86]
Gregoretti, F., Maddaleno, F. and Zamboni, M. Monitoring Tools for Multiprocessors. Microprocessing and Microprogramming, 18(1986):409-416, 1986.
[Grif89]
Griffin, James and Hiromoto, Robert. Experience with an Experimental Debugger for Parallel Programs.Supercomputer, 33(5):44-50, September 1989.
[Guar89]
Guarna, Vincent A. et al. Faust: An Integrated Environment for Parallel Programming. IEEE Software, 6(4):20-27, July 1989.
[Guge86]
Gugerty, Leo and Olson, Gary M. Comprehension Differences in Debugging by Skilled and Novice Programmers. In Elliot Soloway and Sitharama Lyengar, editors, Empirical Studies of Programmers, pages 13-27, Ablex Publishing Corporation, Second edition, Norwood, New Jersey, 1986.
[Haba87]
Haban, Dieter. DTM: A Method for Testing Distributed Systems.In Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, pages 66-73, 1987.
[Haba88]
Haban, Dieter and Weigel, Wolfgang. Global Events and Global Breakpoints in Distributed Systems.In Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, pages 166-175, January 1988.
[Hans78]
Hansen, Per Brinch. Reproducible testing of monitors. Software - Practice and Experience, 8:721-729, 1978.
[Hao82]
Hao, K. and Yeh, R. T. Detection of Inherent Deadlock in Distributed Programs. In Proceedings of the Third International Conference on Distributed Computing Systems, pages 518-523, October 1982.
[Hart85]
Harter, Paul K. Jr. et al. IDD: An Interactive Distributed Debugger. In Proceedings of the Fifth International Conference on Distributed Computing Systems, pages 498-506, Denver CO, May 1985.
[Hath88]
Hathorn, F. C. Structured Concurrent Processes and Automatic Intermediary Process Generation in Operations-Oriented Concurrent Programming Languages, DSc dissertation, The George Washington University, Washington D.C., 1988.
[Hath89]
Hathorn, F. C. From Co-Pascal to SmallAda: The Metamorphosis of a Recursive-Descent Compiler. The George Washington University, Technical Report GWU-IIST-89-25.
[Hell85]
Heller, Rachelle S. The Effect of MECC and Papert Teaching Styles on the Level of LOGO Learning and the Conceptual Tempo of the Fourth Grade Students. Ph.D. Dissertation, University of Maryland, College Park, MD, 1985.
[Hend90]
Henderson, Leslie Ann et al. On the Use of Diagnostic Dependence-Analysis Tools in Parallel Programming: Experiences Using PTOOL. The Journal of Supercomputing, 4:83-96, 1990.
[Hold83]
Holdsworth, D. A System for Analyzing Ada Programs at Run Time. Software - Practice and Experience, 13:407-421, 1983.
[Holl89]
Holloman, Edward Dean. Design and Implementation of a Replay Debugger for Parallel Programs on Unix-Based Systems. Technical Report 89-22, North Carolina State University, Department of Computer Science, June 1989.
[Houg87]
Hough, Alfred A. and Cuny, Janecy E. Belvedere: Prototype of a Pattern-Oriented for a Highly Parallel Computation. In Proceedings of the 1987 International Conference on Parallel Processing, pages 735-738, University Park PA, 1987.
[Houg89]
Hough, Alfred A. and Cuny, Janecy E. Initial Experiences with a Pattern-Oriented Parallel Debugger. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):195-205, January 1989.
[Hseu89]
Hseush, Wenway and Kaiser, Gail E. Data Path Debugging: Data- Oriented Debugging for a Concurrent Programming Language. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):236-247, January 1989.
[Hseu90]
Hseush, Wenway and Kaiser, Gail E. Modeling Concurrency in Parallel Debugging. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 11-20, Seattle WA, March 1990.
[Hwan84]
Hwang, Kay and Briggs, Faye A. Computer Architecture and Parallel Processing. McGraw-Hill Book Company,New York, N.Y., 1984.
[Jack91]
Jackson, David. A Mini-Course on Concurrency. Twenty-Second SIGCSE Technical Symposium on Computer Science Education, pages 92-96, San Antonio, Texas, March 1991.
[John85]
Johnson, W. L., and E. Soloway, Proust: Knowledge Based Program Understanding, IEEE Transactions on Software Engineering, March 1985.
[Jone87]
Jones, Stuart H., et al. BugNet: A Real Time Distributed Debugging System. In Proceedings of the Sixth Symposium on Reliability in DIstributed Software and Database Systems, pages 56-65, March 1987.
[Kern78]
Kernighan, B. W. and Ritchie, D. M. The C Programming Language. Prentice-Hall, Englewood Clifts, N.J., 1978.
[Kero87]
Kerola, Teemu and Schwetman, Herb. Monit: A Performance Monitoring Tool for Parallel and Pseudo-Parallel Programs. In Proceedings of the ACM SIGMETRICS Conference on Measurements and Modeling of Computer Systems, published in Performance Evaluation Review, 15(1):163-174, May 1987.
[Klar86]
Klar, R. and Luttenberg, N. VLSI-Based Monitoring of the Inter-Process Comunication in Multi-Microprocessor Systems with Shared Memory. In Proceedings of Euromicro'86, published in Microprocessing and Microprogramming, 18:195-204, September 1986.
[Lazz86]
Lazzerini, B. and Prete, C. A. DISDEB: An Interactive High-Level De bugging System for a Multi-Microprocessor System. Microprocessing and Microprogramming, 18(1986):401-408, 1986.
[LeBl85]
LeBlank, Richard J. and Robbins, Arnold D. Event-Driven Monitoring of Distributed Programs. In Proceedings of the Fifth International Conference on Distributed Computing Systems, pages 515-522, Denver CO, May 1985.
[LeBl86]
LeBlank, Thomas J. and Mellor-Crummey, John M. Debugging Parallel Programs with Instant Replay. Technical Report TR194, University of Rochester, Computer Science Department, September 1986.
[LeBl89]
LeBlank, Thomas J. and Miller, Barton P. Workshop Summary. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):ix-xxi, January 1989.
[LeBl90]
LeBlank, Thomas J. and Mellor-Crummey, John M. Analyzing Parallel Program Execution Using Multiple Views. Journal of Parallel and Distributed Computing, 9:203-217, June 1990.
[LeDo85]
LeDoux, Carol H. and Parker, D. Stoo Jr. Saving Traces for Ada Debugging. Ada in Use, Proceedings of the Ada International Conference, published in ACM Ada Letters, 5(2):97-108, September 1985.
[LeDo86]
LeDoux, Carol H. A Knowledge-Base System for Debugging Concurrent Software. Ph.D. Thesis, University of California, Los Angeles, 1986.
[Li90]
Li, Kai et al. Real-Time, Concurrent Checkpoint for Parallel Programs. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 79-88, Seattle WA, March 1990.
[Lope91a]
Lopes, Arthur V. and Feldman, B. Michael. Small Ada Parallel Monitoring, The George Washington University, Technical Report GWU-IIST-91-12.
[Lope91b]
Lopes, Arthur V. and Feldman, B. Michael. Small Ada PC Integrated Environment. The George Washington University, Technical Report GWU-IIST-91-17.
[Lope91c]
Lopes, Arthur V., Nagy, Thomas, and Feldman, Michael B. Automated Debugger for Ada Tasks. The George Washington University, Technical Report GWU-IIST-91-22.
[Lope91d]
Lopes, Arthur V., Heller, Rachelle S. and Feldman, Michael B. A Prototype Experiment to Evaluate the Effectiveness of Small-Ada as a DebuggingTool. The George Washington University, Technical Report GWU-IIST-91-23.
[Lope92a]
Lopes, Arthur V. and Feldman, Michael B. Enhancing Small Ada with Task Type. The George Washington University, Technical Report GWU-IIST-92-04.
[Lope92b]
Lopes, Arthur V., Heller, Rachelle S. Martin, Dianne C., Feldman, Michael B, Nagy, Tomas and Youssef, Abodou. Measuring the Effectiveness of an Automated Dubugger for Ada Tasks. The George Washington University, Technical Report GWU-IIST-92-05.
[Lope92c]
Lopes, Arthur V. and Feldman, Michael B. Enhancing Small Ada with Execution Traces ans Task Activity Visualization. The George Washington University, Technical Report GWU-IIST-92-08.
[Luck85]
Luckham, David and Helmbold, David. Debugging Ada Tasking Programs. IEEE Software, 2(2):47-57, March 1985.
[Luke80]
Lukey, F. J., Understanding and Debugging Programs, International Journal of Man-Machine Studies, February 1980.
[Lusk85]
Lusk, E. L. and Overbeek, R. A. Use of Monitors in FORTRAN: A Tutorial on the Barrier, Self-Sheduling Do-Loop, and AskFor Monitors. Technical Report ANL84-51. Rev.1, Argone National Laboratory, June 1985.
[Male88]
Maleknasri, Siamak. Prototype and Experimental Comparison of Graphical and Textual Multi-Process UNIX/C Monitors. DSc. Dissertation. The George Washington University, Department of electrical Engineering and Computer Science, Washington DC, 1988.
[Madd83]
Maddaleno, F. and Gregoretti, F. Hardware and Software Debugging Tools for Multiprocessors. In Proceedings of the Melecom 1983 Conference, pages A6.09-A6.10, May 1983.
[Malo88]
Malony, Allen D. and Reed, Daniel A. Visualizing Parallel System Performance. Technical Report UIUC-DSC-R-88-1645. University of Illinois at urbana-Champaign, Department of Computer Science, September 1988.
[Mann87]
Manning, Carl. R. Traveler: The Apiary Observatory. In Proceedings of the European Conference on Object Oriented Programming, pages 89-97. Springer-Verlag, New York, 1987.
[Mapl85]
Maples, Creve. Analyzing Software Performance in a Multiprocessor Environment. IEEE Software, 2(4):50-63, July 1985.
[Mari89]
Marinescu, D. C. et al. A Model for Monitoring and Debugging Parallel and Distributed Software. In Proceedings of COMPSAC 89, September 1989.
[McCl91]
McClave, James T. and Dietrich II, Frank H. Statistics - 5Th Edition. Macmillan Publishing Company, N.Y., New York, 1991.
[McDa77]
McDanial, Gene. METRIC: A Kernel Instrumentation System for Distributed Environments. In Proceedings of the Sixth Symposium on Operationg Systems Principles, November 1977.
[McDo88]
McDowell, Charles E. Viewing Anomalous States in Parallel Programs. In Proceedings of the 1988 International Conference on Parallel Processing, pages 54-57, St. Charles IL, August 1988.
[McDo87]
McDowell, Charles E. and Appele, William F. Minimizing the Complexity of Static Analysis of Parallel Programs. In Proceedings of the Twentieth Annual Hawaii International Conference on System Sciences, pages 171-176, January 1987.
[Mell89]
Mellor-Crummey, John M. Debugging and Analysis of large-Scale Parallel Programs. Ph.D. Dissertation. University of Rochester, Department of Computer Science, September 1989.
[Mill85]
Miller, Barton P. DPM: A Measurement System for Distributed Programs. Technical Report 592, University of Wisconsin, Madison, Department of Computer Science, May 1985.
[Mill87]
Miller, Barton P. and Yang, Cui-Qing. IPS: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs. In Proceedings of the Seventh International Conference on Distributed Computing Systems, pages 482-489, Berlin, 1987.
[Mill88]
Miller, Barton P. and Choi, Jong-Deok. Breakpoints and Halting in Distributed Programs. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 316-323, 1988.
[Mita88]
Mital, Zenon. CDDT: Concurrent System Operation Display and Debugging Tool. Proceedings of Euromicro'87, published in Microprocessing and Microprogramming, 23:173-177, 1988.
[Mora85]
Moran, Melinda Lee. A Graphical Debugger for Concurrent Ada Programs. DSc. Dissertation. The George Washington University, Department of Electrical Engineering and Computer Science, Washington DC, 1985.
[Moy88]
Moy, B. and Hagen, M. Mach 1000 Software Tools. BBN Advanced Computers, Cambridge MA, revision 1.0 edition, October 1988.
[Naei88]
Naeini, R. S. A Multicomputing Environment. In Proceedings of the 1988 Conference on Tools for the Simulation Profession, pages 16-20, Orlando FL, April 1988.
[Nanj87]
Nanja, Murthi and Cook, Curtis R. An Analysis of the On-Line Debugging Process. In Gary M. Olson, Sylvia Sheppard, and Elliot Soloway. editors, Empirical Studies of Programmers: Second Workshop, pages 172-184, Ablex Publishing Corporation, Norwood, New Jersey, 1987.
[Nutt79]
Nutt, G. J. A Survey of Remote Monitors. Special Publication 500-42, National Bureau of Standards, January 1979.
[Ogle85]
Ogle, Dave et al. The Real-Time Collection and Analysis of Dynamic information in a Distributed System. Technical Report OSU-CISRC-TR-85-12, Ohio State University, Computer and Information Science, September 1985.
[Paza89]
Pazat, Jean-Louis. RA Control Replay Scheme for Distributed Computers. In Proceedings of First European Workshop on Hypercubes and Distributed Computers, pages 105-116, Rennes, France, October 1989.
[Penn91]
Pennington, Nancy and Nicolich, Robert. Transfer of Training Between Programming Subtasks: Is Knowledge Really Use Specific? In Jurgen Koeneman-Belliveau, Thomas G. Moher and Scott P. Robertson, editors, Empirical Studies of Programmers: Fourth Workshop, pages 156-176, Ablex Publishing Corporation, Norwood, New Jersey, 1991.
[Popl73]
Pople, Harry E. Jr. and Myers, Jack D, M.D., On The Mechanization of Abductive Logic. Third International Joint Conference on Artificial Intelligence, Stanford, CA, 1973.
[Popl82]
Pople, Harry E. Jr. Heuristic Methods for Imposing Structure on Ill-Structured Problems: The Structure of Medical Diagnosis. inArtificial Intelligence in Medicine, edited by Peter Szolovits, Westview Press, Boulder, CO, 1982.
[Rede89]
Redell, David D. Experience with Topaz TeleDebugging. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):35-44, January 1989.
[Rote88]
Rotenstreich, Shmuel. A Monitoring Language Corresponding t a Distributed Programming language. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pages 330-332, Madison WI, May 1988.
[Rubi89]
Rubin, Robert V., Rudolph, Larry and Zerni, Dror. Debugging Parallel programs in Parallel. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):216-225, January 1989.
[Scho89]
Schonberg, Edith. On-the-fly Detection of Access Anomalies. In Proceedings of the SIGPLAN'89 on Programming Language Design and Implementation, published in ACM SIGPLAN Notices, 24(7):285-297, July 1989.
[Schw85]
Schwan, Karsten et al. An Integrated Programming/Operating System for Parallel Programming. Technical Report OSU-CISRC-TR-85-13, Ohio State University, Department of Computer Science and Information Science, September 1985.
[Sedl83]
Sedlmeyers, R. L. et. al., Knowledge-Based Fault Localization in Debugging, Proceeding of ACM Sigsoft/Sigplan Software Engineering Symposium on High-Level Debugging, 1983.
[Seer90]
Seeram, Euclid. A Study of the Effectiveness of an Interactive Videodisc Learning System as an Adjunct to Instruction. MS Thesis, Symon Fraser University, July 1990.
[Sega85]
Segall, Zary and Rudlph, Larry. PIE: A Programming and Instrumentation Environment for Parallel Processing. IEEE Software, 2(6):22-37, November 1985.
[Shat85]
Shatz, Sol M. and Cheng, W. K. An Approach to Automated Static Analysis of Distributed Systems. In Proceedings of the First International Conference on Supercomputing Systems, pages 377-385, 1985.
[Shat89]
Shatz, Sol M. et al. Toolkit for Automated Support of Ada Tasking Analysis. In Proceedings of the Ninth International Conference on Distributed Computing Systems, pages 595-602, Newport Beach CA, June 1989.
[Shor76]
Shortliffe, Edward H. MYCIN: Computer-based Medical Consultations. Elsevier, New York, 1976. Based on a PHd thesis, Stanford University, Stanford, CA, 1974.
[Sing89]
Singley, Mark K. and Anderson, John R. The Transfer of Cognitive Skill. Harvard University Press, Cambridge Massachusetts, 1989.
[Smit84]
Smith, Edward T. Debugging Tools for Message-Based Comunicating Processes. In Proceedings of the Fourth International Conference on Distributed Computing Systems, pages 303-310, 1984.
[Smit85]
Smith, Edward T. A Debugger for Message-Based Processes. Software - Practice and Experience, 15(11):1073-1086, November 1985.
[Smit88]
Smith, Kevin and Appelbe, William F. PAT: An Interactive FORTRAN Parallelizing Assistant Tool. In Proceedings of the 1988 International Conference on Parallel Processing, pages 58-62, St. Charles IL, August 1988.
[Snod88]
Snodgrass, Richard. A Relational Approach to Monitoring Complex Systems. ACM Transactions on Computer Systems, 6(2):157-196, May 1988.
[Soch89]
Socha, David et al. Voyeur: Graphical Views of Parallel Programs. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):206-215, January 1989.
[Soli88]
Solin, Ulla. Animation Techniques for Parallel Algorithms. In E. Chiricozzi and A. D'Amico, editors, Parallel Processing and Applications, pages 437-445. North-Holland, New York, 1988.
[Solo88]
Soloway, Elliot, Adelson, Beth, and Ehrlich, Kate. Knowledge and Processes in the Comprehension of Computer Programs. In Michelene T. H. Chi, Robert Glaser and Marchall J. Farr, editors, The Nature of Expertise, pages 129-152, Lawrence Erlbaum Associates, Publishers, Hillsdale, New Jersey, 1988.
[Spez88]
Spezialetti, M. and Kearns J. P. A General Approach to Recognizing Event Occurences in Distributed Computations. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 300-307, 1988.
[Ston88]
Stone, Janeci M. Debugging Concurrent Processes: A Case Study. Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation, published in ACM SIGPLAN Notices, 23(7):145-153, July 1988.
[Ston89]
Stone, Janice M. A Graphical Representation of Concurrent Processes. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):226-235, January 1989.
[Swee85]
Sweet, Richard E. The Mesa Programming Environment. In Proceedings of the ACM SIGPLAN Symposium on Language Issues in Programming Environments, published in ACM SIGPLAN Notices, 20(7):216-229, July 1985.
[Swin86]
Swinehart, Daniel C. et al. A Structural View of the Cedar Programming Environment. ACM Transactions on Programming Languages and Systems, 8(4):419-490, October 1986.
[Tayl80]
Taylor, Richar N. and Leon J. Osterweil. Anomaly Detection in Concurrent Software by Static Data Flow Analysis. IEEE Transactions on Software Engineering, 6(3):265-277, May 1980.
[Tayl83]
Taylor, Richard N. Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta Informatica, 19(1):57-84, 1983.
[Tayl84]
Taylor, Richard N. Analysis of Concurrent Software by Cooperative Application of Static and Dynamic Techniques. In H. L. Hausen, editor, Software Validation, North-Holland, New York, 1984.
[Toku89]
Tokuda, Hideyuki et al. A Real-Time Monitor for a Distributed Real-Time Operating System. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):68-77, January 1989.
[Toma91]
Tomas, Miguel A. de, Gomez, Luis, and Perez, Antonio. Vestal: A Tool for Teaching Concurrency in Ada. Tri-Ada 91, pages 498-509, September 1991.
[Utte89]
Utter, Sue. Enhancing the Usability of Parallel Debuggers. In Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, pages 468-469, January 1989.
[Wahl88]
Wahl, N. J. and Schach S. R. A Methodology and Distributed tool for Debugging Dataflow Programs. In Proceedings of the Second Workshop of Software Testing, Verification and Analysis, pages 98-105, Banff, Canada, July 1988.
[Weid85]
Wiederman, Nelson H. and Johnson, Catherine W. An Animated Instructional Model for Ada Tasking. In Proceedings of the ACM 1985 Washington Ada Symposium, 1985.
[Weis86]
Weiser, MArk and Lyle Jim. Experiments on Slicing-Based Debugging Aids. In Elliot Soloway and Sitharama Lyengar, editors, Empirical Studies of Programmers, pages 187-197, Ablex Publishing Corporation, Second Edition, Norwood, New Jersey, 1986.
[Wile88]
Wileden, Jack C. and Avrunin, George S. Toward Automating Analysis Support for Developers of Distributed Software. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 350-357, 1988.
[Wins84]
Winston, Patrick Henry. Artificial Intelligence. Addison-Wesley Publishing Company, Reading, Massachusetts, 1984.
[Wirt76]
Wirth, N. Algorithms + Data Structures = Programs. Prentice-Hall, Englewood Clifts, N.J., 1976
[Wu88]
Wu, Min-You and Gajski, Daniel D. A Programming Aid for Hypercube Architectures. In First Workshop on Languages and Compilers for vector and Parallel Machines, Cornell University, August 1988.
[Yang88]
Yang, Cui-Qing and Miller, Barton P. Critical Path Analysis for the Execution of Parallel and Distributed Programs. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 366-373, 1988.
[Youn89]
Young, Michael et al. Integrated Concurrency Analysis in a Software Development. In Proceedings of the ACM SIGSOFT'89 Symposium on Software Testing, Analysis and Verification, published in ACM SIGSOFT Software Engineering Notes, 14(8):200-209, December 1989.