UH-CS-12-04

Time Petri Nets for Schedulability Analysis of the Transactional Event Handlers of P-FRP
Chaitanya Belwal, Albert M.K. Cheng, Yuanfeng Wen
May 21, 2012

UH-CS-12-03

Static Approximation Algorithms for Regularity-based Resource Partitioning
Yu Li, Albert M. K. Cheng
May 16, 2012

UH-CS-12-02

Regularity-based Partitioning of Uniform Resources in Real-time Systems
Yu Li, Albert M. K. Cheng , and Aloysius K. Mok
May 14, 2012

UH-CS-12-01

The Laboratory for Rapid Rewriting Version 3.0
Rakesh M. Verma and Wei Guo
May 10, 2012