As an indication of the breadth and specialties of current research
activity in the School of Computing, the following list summarizes a
partial list of funded projects underway at the time of this
handbook's publication.
- Application Driven Advancement of Asynchronous Design
Methods, NSF, Brunvand and Gopalakrishnan.
- Adaptive Structure Aware Memory Systems, DARPA, Carter.
- Representation for SSF Multilateral Component Fabrication,
SRI, Cohen.
- Center for the Simulation of Accidental Fires and
Explosions C-Safe, DOE, Davis, Hansen, Henderson, Johnson, and
Lindstrom.
- Test Model Checking Based Verification of Multiprocessor
Cache Protocols, NSF, Gopalakrishnan.
- Formal Verification and Design of System-Level Hardsware,
NSF, Gopalakrishnan.
- Formalization and Verification of Computer System
Interconnect Busses, NSF, Gopalakrishnan.
- Microengine for Programmable Self-Timed Control, NSF,
Gopalakrishnan and Brunvand.
- MRI Acquisition of an Experimental Testbed for Computer
Graphics, NSF, Hansen, Cohen, Johnson, Shirley, and W. Thompson.
- Interactive Ray Tracing for Visualization, NSF, Hansen,
Smits, Shirley, and W. Thompson.
- Undergraduate Experience in Research, Sandia, Hansen.
- Rapid Extraction of Isosurfaces from Time-Varying Data, LLNL,
Hansen.
- CISE Education Innovation: Simulation Science and Education,
NSF, Henderson and Zachary.
- Virtual Prototyping for Human Centric Design, NSF,
Hollerbach, Cohen, and W. Thompson.
- CAREER: Compiler Optimizations for Instruction Bandwidth,
NSF, Hsieh.
- Corridor One - An Integrated Distance Visualization
Environment for SSI and ASCI Applications, DOE, Johnson and Hansen.
- Bioelectric Field Modeling Stimulation and Visualization,
NIH, Johnson, Hansen, and MacLeod.
- Interactive Flow Visualization Using Haptics, NSF,
Johnson, Hansen, and Hollerbach.
- Presidential Faculty Fellowship, NSF, Johnson.
- Program for Partnerships for Advanced Computational
Infrastructure, NSF, Johnson.
- ASCI Advanced Visualization Technology Center, Argonne Lab,
Johnson and Hansen.
- Robust Composition of Embedded Systems, DARPA, Lepreau.
- JANOS: A Java-oriented Active Network Operating System,
DARPA, Lepreau.
- A Large-Scale Network Emulation Facility, NSF, Lepreau.
- An Integrated Repository for Biology Research, DARPA,
Lindstrom.
- POWRE: Understanding and Improving Memory System
Performance, NSF, McKee.
- Understanding and Improving Memory System Pergformance Via
a New Approach to Cache Analysis and Access Ordering, NSF, McKee.
- Acquisition of Equipment for Telecollaboration Telepresence
and Design, NSF, Riesenfeld.
- Multiphase Integrated Engineering design (MIND), Air Force,
Risenfeld and Cohen.
- Computer Graphics and Scientific Visualization NSF Science
and Technology Center, NSF, Riesenfeld and Cohen.
- CAREER: Building Conceptual Natural Language Processing
Systems for Practical Applications, NSF, Riloff.
- User-Directed Hybrid Deterministic and Monte Carlo Parallel
Light Transport Algorithms, NSF, Shirley and Hansen.
- Realistic Computer Graphics for Natural Scenes, NSF,
Shirley, Smits, and W. Thompson.
- CISE Research Infrastructure: Modeling Complex Physical and
Computational Environments, NSF, W. Thompson.
- CISE Research Instrumentation: Realistic Computer Graphics,
NSF, W. Thompson.
- CAREER: A Statistical Framework for Estimating 3D Manifolds
from Range Data, NSF, Whitaker.
- Interactive Level-Set Modeling for Visualization of
Biological Volume Datasets, NSF, Whitaker.
- The Visible Human project Image Processing Tools, NLM,
Whitaker.
- Multiresolution Visualization Tools for Interactive
Analysis of Large-Scale N-Dimensional Date Sets, NSF, Whitaker.
- A Statistical Approach to 3D Terrain Reconstruction - Phase
II, ONR, Whitaker.
- Helping Beginning Programmers View Their Programs
Abstractly, NSF, Zachary.
- Creating Interactive Web Content - CPSC 1040, USHE,
Zachary.