---

Next: Introduction

---

---

• Introduction
• Our Approach
  • The Ariadne Modeling Language
  • Logical Time Manipulation in Ariadne
  • Ave: The Visual Feedback Scheme for Ariadne
• Sample Debugging Sessions
  • Dictionary Search on a Hypercube
  • FFT on a Mesh
  • Gaussian Elimination
  • Sample Example from Sequent's Guide To Parallel Programming
• Conclusion
• References
• About this document ...

---

Joydip Kundu kundu@neweng.enet.dec.com