Algorithms and Theory
Data Mining Meets Data Privacy
JDelta - Delta Compression Algorithms in Diverse Environments
Machine Learning
Computational Geometry
Closure Systems
VLSI CAD - Physical Design and Layout
Architecture
DRPM - Power and Temperature Optimization of Storage Systems
LAVA - Laboratory for Computer Architecture at Virginia
HotSpot - Multi-Granularity Thermal Modeling Tool
HotLeakage - Software Model of Leakage
Qsilver - Simulation Framework for Graphics Architectures
MRRL - Memory Reference Reuse Latency
CHEETAH - Circuit-switched High-speed Transport Architecture
Artificial Intelligence
Computer Vision, Robotics, and Planning
Nancy's Pantry - Helping the Visually Impaired
Machine Learning
Bioinformatics
FASTA - Biological Sequence Comparison
Computational Biology
Dependability
Helix - A Self-Regenerative Architecture
Dependability Research Group
Willow - Survivability Architecture
Zeus - Practical Formal Techniques for Software Development
Distributed Computing
VCGR - Virginia Center for Grid Research
Grid Computing Group
Legion - World-Wide Virtual Computer
Isotach - Concurrency control without locks or barriers
Mentat - Object Oriented Parallel Processing
WSRF.net - Web Services Resource Framework
Avaki - Enterprise Information Integration
|
Electronic Commerce
Virginia's Center for Innovative Technology
Embedded Systems
Component-Based OSs for Embedded Systems
ControlWare - Feedback Performance Control
NEST - Network of Embedded Systems
VEST - Virginia Embedded Systems Toolkit
Wireless Sensor Networks
Wireless Sensor Networks for Medical Applications
Collision Detection and Recovery
Mobile-to-Mobile Mutation Routing
Calibration in Sensor Networks
Marionette - Embeded Wireless Debugging
Hood - Distributed Programming Abstraction
Semantic Streams
Calamari - Wireless Sensor Fields
Graphics
Computer Graphics Group
Chromium - Scalable Interactive Graphics with Commodity Technology
Antimony - Fast Blue Noise Generation
Lithium - Ludic Informatics
Archsplit - Non-invasive Generation of Exploded Views
TJC - Scalable Robust Visualization of Large Trees
GPU - Multigrid Techniques on the GPU
Qsilver - Simulation Framework for Graphics Architectures
Data Driven Graphics Appearance Models
Perspective Warp Resampling
Painting Interface for Modeling
Isoluminance Color Selection
Information Management
Cyberia - Information Retrieval Group
Info Tech - Information Technology for Mobile and Web Based Systems
PIE - Personalized Information Environments
STILT - System for Terrorism Intervention and Large-Scale Teamwork
Modeling and Simulation
MaSTRI - Modeling and Simulation Technology Research Initiative
Galileo - Advanced Fault Tree Analysis
Exelix LLC - Commercial Fault Tree Analsis Tool
|
National Research Policy
NAE - National Acedemy of Engineering
National Research Council - "Telling Truth to Power"
Networking
CHEETAH - Circuit-switched High-speed Transport Architecture
DOE SCiDAC - Integrated Transport and Provisioning Methods
Fast File Transfers Across Optical Networks
Programming Languages
Coco - Continuous and Adaptive Compilation
Strata - Reconfigurable and Retargetable Dynamic Translator
PDO - Profit-Driven Optimization
TDB - A Transparent Debugger for Dynamically Translated Code
Resource Management for Embedded Systems
Jazz - Demand-Driven Testing with Dynamic Instrumentation
Tortola - Hardware-Software Symbiosis
Software Quality and Reliability
Ahpah Software Inc. - Reverse Engineering the Java Virtual Machine
Real-Time Systems
Feedback Control Real-Time Scheduling
VEST - Virginia Embedded Systems Toolkit
Wireless Sensor Networks
Wireless Sensor Networks for Medical Applications
Security
Helix - A Self-Regenerative Architecture
Advancing Cyber Security with .NET
Intrusion Detection
Physicrypt - Physical Cryptography and Security
N-Variant - System Structure for Secretless Security
Software Engineering
Eos - Aspect-Oriented Extension for C# on .NET
Genesis - A Framework for Achieving Component Diversity
IPA - Inexpensive Program Analysis
Perracota - Program Dynamic Temporal Analysis
Software Quality and Reliability
Jazz - Demand-Driven Testing with Dynamic Instrumentation
Zeus - Practical Formal Techniques for Software Development
|
