Selected Papers Published by the TimeWare Project Group


Topics Covered:

Real-time scheduling, real-time design, automatic verification, real-time programming languages (and associated compiler techniques), rate and load assignment strategies, delay analysis, concurrency theory, and multimedia systems.

Categories:

Real-Time Systems
Specification and Automated Analysis
Multimedia Systems

If you have any questions about this research, or problems downloading papers, please contact Richard Gerber.

Click here to remove the abstracts.


Real-Time Systems




Specification and Automated Analysis





Multimedia Systems