Software Project
- LITMUSRT (Linux Testbed for MUltiprocessor Scheduling in Real-Time systems).
Research Projects
- Real-Time Synchronization on Multicore Platforms.
- Real-Time Fine-Grained Adaptivity on Multiprocessors: Acoustic Tracking as a Test Case.
- Multiprocessor Real-Time Computing: Formal Foundations.
- Real-Time Computing on Multicore Platforms.
- Real-time Scheduling on Heterogeneous Multiprocessors.
- Real-time Scheduling on Identical Multiprocessors.
- Rate-Based Scheduling Technology for Latency-Sensitive Graphics Applications.
- Feasibility Analysis in Safety-Critical Shared Resource Systems.
- Overload Tolerance in Safety-Critical Systems.
Sponsors
- AT&T
- Intel
- IBM
- Northrop Grumann Corporation
- Sun Microsystems
- U.S. Airforce Office of Scientific Research
- U.S. Army Research Office
- U.S. National Science Foundation