




Algorithmic Algebraic Geometry
Algorithmic and Combinatorial Tools for Sequence Analysis
Parallel Algorithms for Geometric Problems
Efficient Algorithms and Data Structures in Computer Aided Geometric Design
Project SHASTRA: Distributed and Collaborative Multimedia Synthetic Environments for Geometric Design
Interrogative Visualization of Multidimensional Data
Digital Libraries
Distributed Database Systems Research (RAID Project)
Distributed Object-Oriented Database Research
Mobile Computing
Multimedia Database Research
Software Engineering Research Center (SERC)
An Automated Environment for Engineering Software Development
Xinu Operating System
Xinu Port to Pentium Processors
Crosspoint Project
Internetworking Research Project
Developing Optimal Object-Oriented Design and Programming Techniques
InterBase Lab
Graph Algorithms and Data Structures
Applied Orthogonal Polynomials
Multiresolution Object Recognition
Neural Computing
Parallel Scalable Libraries and Algorithms for Computer Vision
Research in VLSI Circuit Compaction
Geometric and Solid Modeling
Spatial Constraint Solving
SoftLab--A Laboratory for Computational Science
High-Performance Computing (HPC) Methods and Systems for Partial Differential Equations (PDE)
Parallel Methods and Collaborating Systems for Solving Partial Differential Equations
PDE Solving Kernels and Systems for Scalable MIMD Multiprocessors
PDELab: A Development and Problem Solving Environment for PDE-Based Applications on Parallel Machines
PYTHIA: Using Computational Intelligence to Support Problem Solving Environments
WWW //ELLPACK: A Web Based Problem Solving Environment for Partial Differential Equations
SciencePad
Vision, Geometry and Heuristic Problem Solving
nonwave.html
Parallel Algorithms and Methods for Solving Macromolecular Structures
Parallel and Distributed Computing for Solving Very Large Structural Biology Problems
The Study of the Paging and I/O Activity of Parallel Programs
Effectiveness and Performance in Software Testing
White-box Models for the Estimation of Software Reliability
Foundations and Tools for Surface Modeling
The ACES Project
The Ariadne Threads System
The Arachne Threads System
The Conch Communications System
The Clam Communications System
The EcliPSe Simulation System
The ParaSol Distributed Simulation System
The DISplay System
ELLPACK System
Multidisciplinary Problem Solving Environments
The Renaissance Object-Oriented Operating System
Garbage Collection for Object-Oriented Software
Module Constructs for Object-Oriented and Functional Languages
Dynamics Research
Kinematics Research
Joint Modeling
New Approaches to Software Debugging
Computer Operations, Audit, and Security Technology
Data Compression Based on Approximate Pattern Matching
Stability Considerations for Networks: Asymptotic Behaviors and Limits of Multidimensional Models
Data Compression from String Matching Perspective: Second Order Properties
Project Isaac: Building Simulations for Virtual Environments
Proxima: Contact and Collision Support for Virtual Environments
Algorithms for Factoring Large Integers
Low-Threat Patch Distribution
Concurrency Analysis Tool Suite
Concurrency Control and Scheduling for Hard Real-time Systems
Research Expenditures & Awards Total Government & Industrial Grants
CS Annual Report - 19 APR 1996



