Current Funded Research

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.