Our projects are sponsored by the CISE directorate of the National Science Foundation under Problem Solving Environments grant CCR-9527130, the Center for Research in Parallel Computing under grant NSF CCR-9120008, and by Parasoft and Novell. The formal methods and adaptivity (reliability, mobility, security) parts of the project are sponsored by the Air Force Office of Scientific Research under grant AFOSR F49620-94-1-0244.
[ Home ] [ People ] [ Papers ] [ Releases ] [ Mailing Lists ]
[ Related Work ] [ Past Projects ] [ Group Resources ] [ Our Sponsors ]
Last modified: Wed Jun 9 01:32:47 PDT 1999