Technical Reports - 2012 - University of Houston
Skip to main content

Technical Reports - 2012


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


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


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


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