J.B. Carter, R. Kuramkote, and C.-C. Kuo. Reducing consistency traffic and cache misses in the avalanche multiprocessor. Technical report, University of Utah, April 1995. Also available via WWW under http://www.cs.utah.edu/projects/avalanche.  

Kenneth L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Press, 1993. Co-winner of the 1993 ACM PhD Dissertation Award.  

A. Saulsbury, T. Wilkinson, J. Carter, and A. Landin. An argument for simple coma. In Proceedings of the First Annual Symposium on High Performance Computer Architecture, pages 276--285, January 1995.  

J.E. Veenstra and R.J. Fowler. MINT: A front end for efficient simulation of shared-memory multiprocessors. In Proceedings of the 2nd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pages 201--207, Durham, NC, January 1994.  

J. Wilkes. Hamlyn - an interface for sender-based communication. Technical Report HPL-OSR-92-13, Hewlett-Packard Research Laboratory, November 1992.

---

This work was sponsored by the Space and Naval Warfare Systems Command (SPAWAR) and Advanced Research Projects Agency (ARPA), Communication and Memory Architectures for Scalable Parallel Computing, ARPA order #B990 under SPAWAR contract #N00039-95-C-0018

---

Back to the Avalanche Project Home Page, or Computer Science Department Home Page.
Feedback to <avalanche@jensen.cs.utah.edu>.