 | ftp://ccnga.uwaterloo.ca/pub/papers/TR-94-02.ps, 19941209 Linking Specification, Abstraction, and Debugging J. P. Black, M. H. Coffin, D. J. Taylor Dept. of Computer Science University of Waterloo Canada T. Kunz Dept. of Computer Science Technical University of Darmstadt Germany A. A. Basten Dept. of Mathematics and Computing Science Eindhoven University of |
 | ftp://ccnga.uwaterloo.ca/pub/papers/TR-94-01.ps, 19950216 Time and the Order of Abstract Events in Distributed Computations Twan Basten1, Thomas Kunz2, James Black3, Michael Coffin3, and David Taylor3 1 Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands 2 Department of Computer Science, Technical |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf07.ps.Z, 19950216 Visualizing Abstract Events Thomas Kunz |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf08.ps.Z, 19950309 Integrating Real-Time and Partial-Order Information in Event-Data Displays David J. Taylor Michael H. Coffin Department of Computer Science, University of Waterloo |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas03.ps.Z, 19950412 Quality of Service Issues in Wireless Networks by Raymond J. Brunsting An essay presented to the University of Waterloo in fulfilment of the essay requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Raymond J. Brunsting 1995 Contents 1 Introduction 1 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas04.ps.Z, 19950501 A Comparison of Security Protocols in a Wireless Network Environment by James Godfrey A thesis presented to the University of Waterloo in the fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 James Godfrey, 1995 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/TR-94-01.ps.Z, 19950505 Time and the Order of Abstract Events in Distributed Computations Twan Basten1, Thomas Kunz2, James Black3, Michael Coffin3, and David Taylor3 1 Department of Mathematics and Computing Science, Eindhoven University of Technology, Eindhoven, The Netherlands 2 Department of Computer Science, Technical |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/TR-94-02.ps.Z, 19950505 Linking Specification, Abstraction, and Debugging J. P. Black, M. H. Coffin, D. J. Taylor Dept. of Computer Science University of Waterloo Canada T. Kunz Dept. of Computer Science Technical University of Darmstadt Germany A. A. Basten Dept. of Mathematics and Computing Science Eindhoven University of |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesisphd02.ps.Z, 19950530
|
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/present01.ps.Z, 19950530 Visualizing PVM Executions by Thomas Kunz and David J. Taylor Department of Computer Science University of Waterloo Thomas Kunz, May 8, 1995 Visualizing PVM Executions Slide 1 Outline ffl Basic Visualizations { partial order displays (logical time) { real time displays ffl Collecting Event Information { |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf09.ps.Z, 19950530 High-Level Views of Distributed Executions Thomas Kunz Department of Computer Science University of Waterloo Waterloo, Ontario Canada N2L 3G1 e-mail: tkunz@uwaterloo.ca |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/present02.ps.Z, 19950530 High-Level Views of Distributed Executions by Thomas Kunz Department of Computer Science University of Waterloo Waterloo, Ontario, Canada Thomas Kunz, May 24, 1995 High-Level Views of Distributed Executions Slide 1 Overview General approach: visualize the execution of a distributed application to |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas05.ps.Z, 19950605 Replay and Distributed Breakpoints in an OSF DCE Environment by Yuh Ming Yong A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Yuh Ming Yong 1995 I hereby declare that I |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf10.ps.Z, 19950626 Visualizing PVM Executions Thomas Kunz and David J. Taylor Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 June 26, 1995 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas06.ps.Z, 19950731 Application of Event{Based Debugging Techniques to Object{Oriented Executions by Ilene Seelemann A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Ilene Seelemann 1995 I |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas07.ps.Z, 19950905 Integrating HTTP with ATM by Robert Leitman An essay presented to the University of Waterloo in fulfilment of the essay requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Robert Leitman 1995 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf12.ps.Z, 19951113 Achieving Target-System Independence in Event Visualisation David J. Taylor Thomas Kunz James P. Black |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf05.ps.Z, 19951113 The Use of Process Clustering in Distributed-System Event Displays David J. Taylor |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf11.ps.Z, 19951113 Performing Replay in an OSF DCE Environment Yuh Ming Yong David J. Taylor |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/others02.ps.Z, 19951113 Automatic Support for Understanding Complex Behaviour Thomas Kunz University of Waterloo Waterloo, Ontario, Canada N2L 3G1 e-mail: tkunz@uwaterloo.ca http://ccnga.uwaterloo.ca/~tkunz/ |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/others01.ps.Z, 19951113 Event Displays for Debugging and Managing Distributed Systems David Taylor Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 e-mail: dtaylor@uwaterloo.ca http://ccnga.uwaterloo.ca/~dtaylor/ |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf15.ps.Z, 19960402 Evaluating Process Clusters to Support Automatic Program Understanding Thomas Kunz Department of Computer Science University of Waterloo Waterloo, Ont, Canada N2L 3G1 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf14.ps.Z, 19960402 A Formal Architectural Design Patterns-Based Approach to Software Understanding P.S.C. Alencar, D.D. Cowan, Thomas Kunz, and C.J.P. Lucena Department of Computer Science University of Waterloo Waterloo, Ont, Canada N2L 3G1 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/TR-96-01.ps.Z, 19960404 Overview of GSM: The Global System for Mobile Communications John Scourias University of Waterloo jscourias@neumann.uwaterloo.ca March 13, 1996 1 History of GSM During the early 1980s, analog cellular telephone systems experienced rapid growth in Europe, particularly in Scandinavia and the United |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas10.ps.Z, 19960513 Efficient Detection of Data Races in SR Programs by Darren John Esau A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Darren John Esau 1996 I hereby declare that I am the |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas11.ps.Z, 19960514 Integrating Event Visualization with Sequential Debugging by Ivan Yan-Kit Yu An essay presented to the University of Waterloo in fulfilment of the essay requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Ivan Yan-Kit Yu 1996 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf13.ps.Z, 19960514 Wireless Application and API Design Michael Nidd, Thomas Kunz, James P. Black fmenidd,tkunz,jpblackg@uwaterloo.ca University of Waterloo Waterloo, Ontario, Canada February 13, 1996 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas13.ps.Z, 19960813 Design and Implementation of an Automatic Event Abstraction Tool by Michiel F.H. Seuren A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Michiel F.H. Seuren 1996 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas14.ps.Z, 19960903 Single Stepping in Event-Visualisation Tools for Distributed Applications by Marc Khouzam A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Marc Khouzam 1996 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas12.ps.Z, 19960903 A Framework for Simulating Wireless Mobile Client-Server Computing by James R. Hodge A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c James R. Hodge 1996 I hereby declare |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf17.ps.Z, 19960916 Single Stepping in Event-Visualization Tools Marc Khouzam and Thomas Kunz Department of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas15.ps.Z, 19960918 Efficient Simulation of Message-Passing in Distributed-Memory Architectures by Erik Demaine A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Erik Demaine 1996 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/others03.ps.Z, 19961007 Wireless Application and API Design Michael Nidd, Thomas Kunz, James P. Black fmenidd,tkunz,jpblackg@uwaterloo.ca University of Waterloo Waterloo, Ontario, Canada February 13, 1996 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/others04.ps.Z, 19961007 A Case Study of Dynamic Application Partitioning in Mobile Computing | An E-mail Browser Grace Hai Yan Lo and Thomas Kunz; fhylo, tkunzg@uwaterloo.ca University of Waterloo, ON, Canada October, 1996 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas16.ps.Z, 19961008 Efficient Information Access for Wireless Computers by Stuart Brian Wachsberg A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Stuart Brian Wachsberg 1996 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas08.ps.Z, 19961016 Load Balancing in a Distributed Virtual Reality Environment by Alain M. Gaudrault A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1995 c Alain M. Gaudrault 1995 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas17.ps.Z, 19961217 Distributed Systems Management Architectures by Scott D. Taylor An essay presented to the University of Waterloo in fulfillment of the essay requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Scott D. Taylor 1996 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas18.ps.Z, 19970123 Event-Predicate Detection in the Debugging of Distributed Applications by Christian Eugene Jaekl A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1996 c Christian Eugene Jaekl |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas19.ps.Z, 19970425 Dynamic Location Management and Activity-based Mobility Modelling for Cellular Networks by John Scourias A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1997 c John Scourias |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas20.ps.Z, 19970429 Event-based debugging for distributed Internet applications by Eric Leung An essay presented to the University of Waterloo in fulfilment of the essay requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1997 c Eric Leung 1997 I hereby declare that I am the |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas21.ps.Z, 19970613 M-Mail: A Case Study of Dynamic Application Partitioning in Mobile Computing by Hai Yan Lo A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1997 c Hai Yan Lo 1997 I hereby |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Wireless97.Lioy.Black.ps.gz, 19970730 Providing Network Services at the Base Station in a Wireless Networking Environment Marcello Lioy and J. P. Black University of Waterloo fmvlioy,jpblackg@uwaterloo.ca |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf21.ps.Z, 19970731 Providing Network Services at the Base Station in a Wireless Networking Environment Marcello Lioy and J. P. Black University of Waterloo fmvlioy,jpblackg@uwaterloo.ca |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf22.ps.Z, 19970814 A Dynamic Individualized Location Management Algorithm John Scourias* and Thomas Kunz Department of Computer Science University of Waterloo Waterloo, Ontario, Canada N2L 3G1 * Currently at Lockheed Martin Corporation, Management and Data Systems (scourias@custlan.mds.lmco.com) |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/present03.ps.Z, 19970814 Thomas Kunz, University of Waterloo Shoshin Lab Adaptive Mobile Applications Thomas Kunz tkunz@uwaterloo.ca http://ccnga.uwaterloo.ca/~tkunz/ University of Waterloo August 28, 1997 Thomas Kunz, University of Waterloo Shoshin Lab2 Presentation Outline Motivation QoS API Testbed Example 1: HiFi Sound over |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/conf23.ps.Z, 19970819 Fast Detection of Communication Patterns in Distributed Executions Thomas Kunz and Michiel F.H. Seuren Department of Computer Science University of Waterloo Waterloo, Ontario, Canada |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas22.ps.Z, 19970929 Providing TCP-level Services to Mobile Computers in Wireless Networking Environments by Marcello Lioy A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1997 c Marcello Lioy 1997 |
 | ftp://ccnga.uwaterloo.ca/pub/papers/Ps/thesismas23.ps.Z, 19971125 Design Issues for an Adaptive Mobile Group Editor by Tara J. Whalen A thesis presented to the University of Waterloo in ful lment of the thesis requirement for the degree of Master of Mathematics in Computer Science Waterloo, Ontario, Canada, 1997 c Tara J. Whalen 1997 |