D. M. Beazley and P. S. Lomdahl. Message-passing multi-cell molecular dynamics on the connection machine 5. Parallel Computing, 20:173--195, 1994. Also available via WWW under //www.acl.lanl.gov/Lomdahl/spasm.html.  

Jack J. Dongarra and R. Clint Whaley. A user's guide to BLACS v1.0. Technical Report 94, University of Tennessee Knoxville, Department of Computer Science, March 1995. Also available via WWW under http://www.netlib.org/blacs.  

Gerard Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.  

Kwan-Liu Ma, Jamie S. Painter, Charles D. Hansen, and Michael F. Krogh. Parallel volume rendering using binary-swap image composition. IEEE Computer Graphics and Applications, 14(4):59--68, 1994. Also available via WWW under http://www.acl.lanl.gov/Viz/cga94_abstract.html.  

R. Nalumasu and G. Gopalakrishnan. Explicit-enumeration based verification made memory-efficient. Technical Report UUCS-95-005, University of Utah, February 1995. Also available via anon ftp as ftp://ftp.cs.utah.edu/techreports/1995/UUCS-95-005.ps.Z.

---

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>.